(let ((type ia (array int)) (var n int 16) (var a (new-array ia n 0)))
  (begin
    (:= (aref a 1) 1)
    (for (i 2 (- n 1)) (:= (aref a i) (+ (aref a (- i 1)) (aref a (- i 2)))))))