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