current_session::=