My X reimplementation of sokoban (see the sibling sokoban repo).