Scheme-based sacrificial interpreter.
Slightly updated description.