(defparameter *tst00* '(progn
                         (defun f (n) (cond ((%<= n 1) 1)
                                            (1 (%+ (f (%- n 1)) (f (%- n 2))))))
                         (defun g (n) (cond ((%<= n 0) nil)
                                            (1 (cons (f n) (g (%- n 1))))))
                         (g 8)))