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