(let ((type ai (array int)) (var x ai (new-array ai (+ 30 30) (+ (+ 1 2) 3)))) (:= (aref x 4) 5))