rem:  guiSwitch ("sn", "pg"); break; case ("exit"):   exit(); break; } 
add:  guiSwitch ("sn", "pg"); break; case ("exit"):  exit(); break; } 
context: function endSession (closeType){        // Occurs when the player chooses to close the current game.        switch (closeType)        {                case ("return"):                        // If the player has chosen to quit game and return to main menu,                        // End the session.                        endGame();                                                // Fade out current music and return to playing menu theme.                        curr_music = newRandomSound("music", "menu");                        crossFade(curr_session_playlist_1, curr_music, 1);                        // Stop refreshing the session controls.                        cancelInterval();                        // Swap GUIs to display main menu.                        guiSwitch ("sn", "pg");                break;                case ("exit"):                        // If the player has chosen to shutdown and immediately return to operating system,                        exit();                break;        }}
meta: 1070	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1070/43323342db248d6227b69129e134b6eea35acbfa/functions_page_pregame_load.js/buggy/binaries/data/mods/official/gui/test/functions_page_pregame_load.js