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