Ensure get_session_user() returns non-undef in normal use.