(let ((type rec (record (x int) (y int)))
      (type arrrec (array rec))
      (var arr arrrec (new-array arrrec 10 (new rec (x 1) (y 1)))))
  (dot (aref arr 0) x))