begin using session_token; checkpoint 04