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