LetExp([ VarDec(a,false,NONE, IntExp(42)), VarDec(b,false,NONE, VarExp( SimpleVar(a))), VarDec(c,false,NONE, OpExp(PlusOp, OpExp(TimesOp, VarExp( SimpleVar(a)), IntExp(10)), IntExp(8))), FunctionDec[ (printint,[ (i,false,int)], NONE, LetExp([ FunctionDec[ (f,[ (i,false,int)], NONE, IfExp( OpExp(GtOp, VarExp( SimpleVar(i)), IntExp(0)), SeqExp[ CallExp(f,[ OpExp(DivideOp, VarExp( SimpleVar(i)), IntExp(10))]), CallExp(print,[ CallExp(chr,[ OpExp(PlusOp, OpExp(MinusOp, VarExp( SimpleVar(i)), OpExp(TimesOp, OpExp(DivideOp, VarExp( SimpleVar(i)), IntExp(10)), IntExp(10))), CallExp(ord,[ StringExp("0")]))])])]))]], IfExp( OpExp(LtOp, VarExp( SimpleVar(i)), IntExp(0)), SeqExp[ CallExp(print,[ StringExp("-")]), CallExp(f,[ OpExp(MinusOp, IntExp(0), VarExp( SimpleVar(i)))])], IfExp( OpExp(GtOp, VarExp( SimpleVar(i)), IntExp(0)), CallExp(f,[ VarExp( SimpleVar(i))]), CallExp(print,[ StringExp("0")])))))]], SeqExp[ CallExp(printint,[ VarExp( SimpleVar(a))]), CallExp(print,[ StringExp(" ")]), CallExp(printint,[ VarExp( SimpleVar(b))]), CallExp(print,[ StringExp(" ")]), AssignExp( SimpleVar(b), IntExp(7)), CallExp(printint,[ VarExp( SimpleVar(a))]), CallExp(print,[ StringExp(" ")]), CallExp(printint,[ VarExp( SimpleVar(b))]), CallExp(print,[ StringExp(" ")]), CallExp(printint,[ VarExp( SimpleVar(c))])])