Sokoban in the shell