simpler sokoban code