(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 1) 2) (* 3 4)) (* 5 6)) (* 7 8)) (* 9 0))))