(let ((var id typeId exp)
      (var id typeId exp)
      (var id typeId exp)
      (var id typeId exp))
  ())