!user_alpha 2 INTEGER .TRUE.