(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))