Initial (but wrong) code for compiling THE-AST.