undo_begin         81 modules/games/gui_sokoban.c static int undo_begin, undo_end, undo_curr;
undo_begin        100 modules/games/gui_sokoban.c     if (undo_curr==undo_begin) {
undo_begin        101 modules/games/gui_sokoban.c         if (++undo_begin==UNDO_SIZE) undo_begin=0;
undo_begin        110 modules/games/gui_sokoban.c     if (undo_curr!=undo_begin) {
undo_begin        154 modules/games/gui_sokoban.c     undo_begin=undo_end=undo_curr=0;