maze Published November 24, 2014 at 258 × 342 in Close Encounters with Symbolic Execution An example maze. The step spaces are blank, the walls are +-|, the END marker is the # sign, and the current path is the X’s.