LetExp([ TypeDec[ (rectype, RecordTy[ (name,false,string), (age,false,int)])], VarDec(rec1,false,SOME(rectype), RecordExp(rectype,[ (name, StringExp("Nobody")), (age, IntExp(1000))]))], SeqExp[ CallExp(print,[ VarExp( FieldVar( SimpleVar(rec1), name))]), CallExp(print,[ StringExp(" ")]), AssignExp( FieldVar( SimpleVar(rec1), name), StringExp("Somebody")), CallExp(print,[ VarExp( FieldVar( SimpleVar(rec1), name))]), CallExp(print,[ StringExp(" ")])])