A basic compiler through-and through according to the Appel Modern Compiler Implementation