undo_begin         80 modules/games/gui_sokoban.c static int undo_begin, undo_end, undo_curr;
undo_begin         99 modules/games/gui_sokoban.c     if (undo_curr==undo_begin) {
undo_begin        100 modules/games/gui_sokoban.c         if (++undo_begin==UNDO_SIZE) undo_begin=0;
undo_begin        109 modules/games/gui_sokoban.c     if (undo_curr!=undo_begin) {
undo_begin        153 modules/games/gui_sokoban.c     undo_begin=undo_end=undo_curr=0;