((/misc/evalable-printing.lisp::quote-as-needed (nil nil nil nil (if) nil nil) ((expr) nil nil (or list) nil nil nil) ((expr) nil (consp quote) nil (and) nil nil) ((expr quote) nil (symbolp not not) nil nil nil nil) ((expr) nil (booleanp keywordp) nil nil nil nil) ((expr expr) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/evalable-printing.lisp::quote-as-needed-list (nil nil nil nil (if) nil nil) ((expr-lst) nil (endp) (cons) nil nil nil) ((expr-lst) nil (quote-as-needed recursive-call) nil nil nil nil) (nil nil (car cdr) nil nil nil nil) ((expr-lst expr-lst) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/evalable-printing.lisp::quote-as-needed-with-stobj (nil nil nil nil (if) nil nil) ((stobj stobj) nil (quote-as-needed) nil nil nil nil) ((val) 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/evalable-printing.lisp::quote-as-needed-with-stobj-list (nil nil nil nil (if) nil nil) ((nil) nil nil (or cons) nil nil nil) (nil nil (endp endp) (quote-as-needed-with-stobj recursive-call) nil nil nil) ((valx stobjs) nil (car car cdr cdr) nil nil nil nil) ((valx stobjs valx stobjs) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/evalable-printing.lisp::get-evalable-printing-abstractions (nil nil nil nil (if) nil nil) ((*default-evalable-printing-abstractions*) nil nil (f-boundp-global f-get-global) nil nil nil) ((state state) nil (quote quote) nil nil nil nil) ((evalable-printing-abstractions evalable-printing-abstractions) 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/evalable-printing.lisp::lastcdr (nil nil nil nil (if) nil nil) ((x) nil (atom recursive-call) nil nil nil nil) ((x) nil (cdr) 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)) (/misc/evalable-printing.lisp::make-evalable-with-stobj-how (nil nil nil nil (if) nil nil) ((stobj stobj) nil nil (make-evalable-how) nil nil nil) ((val abstractions) 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/evalable-printing.lisp::make-evalable-with-stobj-list-how (nil nil nil nil (if) nil nil) ((nil) nil nil (or cons) nil nil nil) (nil nil (endp endp) nil (make-evalable-with-stobj-how recursive-call) nil nil) ((valx stobjs abstractions abstractions) nil (car car cdr cdr) nil nil nil nil) ((valx stobjs valx stobjs) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))