The last time I noticed Matt Might's name, it was as a grad student advisee to Olin Shivers-- last surviving keeper of the CPS flame!-- writing a hairy dissertation on control-flow analysis in higher-order programs. So at some level, it amuses to see that this particular didactic-purposes toy compiler does /not/ transform its source into CPS or any variant, and does /not/ perform any control-flow analysis.

  ;; The purpose of this compiler is to demonstrate
  ;; the most direct possible mapping of Scheme into C.
  ;; Toward that end, the compiler uses only two
  ;; intermediate transformations: mutable-variable
  ;; elimination and closure-conversion.