{ if cookie not found { redirect to login page; goto CLEAN_UP; } ... CLEAN_UP: do_some_clean_up(); }