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