(let ((type v (array int)) (type w (array v)) (var ints (new-array v 100 0)) (var intarr (new-array w 100 ints)) (var test int 6)) (:= (aref (aref intarr 100) 100) (+ (* (/ test 7) 9) 0)))