((/misc/defabsstobj-example-2.lisp::memo$ap (nil nil (null) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/defabsstobj-example-2.lisp::fib (nil nil nil nil (cond) nil nil) (nil nil ((zp n) (eql n 1) t) nil nil nil nil) (nil (0 1) nil (+) nil nil nil) (nil nil (recursive-call recursive-call) nil nil nil nil) (nil nil nil (- -) nil nil nil) ((n n) (1 2) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/defabsstobj-example-2.lisp::good-arp (nil nil nil (cond) nil nil nil) (nil nil ((zp n) t) nil nil nil nil) ((t) nil nil (let*) nil nil nil) (nil nil ((n (1- n))) (and) nil nil nil) (nil nil (v) (or recursive-call) nil nil nil) ((n memo$c) nil (null) (ari eql) nil nil nil) ((n memo$c v v) nil (fib) nil nil nil nil)) (/misc/defabsstobj-example-2.lisp::good-memo$cp (nil nil nil (good-arp) nil nil nil) ((memo$c) nil (ar-length) nil nil nil nil) ((memo$c) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/defabsstobj-example-2.lisp::fib2$a (nil nil nil (mv) nil nil nil) ((memo) nil (fib) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/defabsstobj-example-2.lisp::fib2$c-rec (nil nil nil (let) nil nil nil) (((v (ari n memo$c))) nil nil (cond) nil nil nil) (nil nil ((null v) t) nil nil nil nil) (nil nil nil (mv) (cond) nil nil) ((v memo$c) nil ((zp n) (eql n 1) t) nil nil nil nil) (nil nil nil (let* let*) (mv-let) nil nil) (nil nil ((v 0) (v 1) v1) (mv mv recursive-call) (mv-let) nil nil)) (/misc/defabsstobj-example-2.lisp::fib2$c (nil nil nil (let) nil nil nil) (((memo$c (if (< n (ar-length memo$c)) memo$c (resize-ar (* 2 (1+ n)) memo$c)))) nil nil (fib2$c-rec) nil nil nil) ((n memo$c) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/defabsstobj-example-2.lisp::fib-fast (nil nil nil (with-local-stobj) nil nil nil) ((memo) nil nil nil (mv-let) nil nil) ((result) nil (result) (fib2) nil nil nil) ((memo n memo) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))