An example of how to use SML/NJ's Visible Compiler APIs - View it on GitHub