See previous note about `$session_id`