Full outline in the wavefront paper now.
All code for example inspector encoded in PseudoC Haskell, but doesn't compile in C due to scalar variable declaration problem.