(let ((type ia (array int))
      (type ra (record (x ia) (y ia)))
      (var t ia (new-array ia 4 0))
      (var u ra (new ra (x t) (y t))))
  (:= (aref (dot u x) 2) 2))