implement set_session_cookie()