!user_alpha 3 REAL REAL .TRUE.