current_user::=