LetExp([
 VarDec(a,false,NONE,
  RecordExp(rectype,[]))],
 IntExp(0))