exit_sudoku        29 modules/games/gui_sudoku.c void exit_sudoku();
exit_sudoku       842 modules/games/gui_sudoku.c             exit_sudoku(0); //exit without save
exit_sudoku       845 modules/games/gui_sudoku.c             exit_sudoku(1); //save and exit