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