sokoban_set_level  240 modules/games/gui_sokoban.c     sokoban_set_level(sconf.sokoban_level);
sokoban_set_level  347 modules/games/gui_sokoban.c     sokoban_set_level(sconf.sokoban_level);
sokoban_set_level  392 modules/games/gui_sokoban.c             sokoban_set_level(sconf.sokoban_level);