Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel