scope_user::=