((/make-event/gen-defun.lisp::defun-from-body (nil nil nil (let) nil nil nil) (((stobjs (cond ((and stobjs (symbolp stobjs)) (list stobjs)) (t stobjs)))) nil nil nil nil (mv-let) nil) (nil nil (declare) nil (erp cond) nil nil) ((tbody bindings state body name stobjs ctx state) nil (list w ignore erp (ffnnamep name tbody) t) nil nil nil nil) ((state bindings) nil nil (cons let) nil nil (er)) ((name name soft ctx Translation of ~X01 failed. body soft ctx Generation of non-recursive definition of ~x0 from ~
                        body ~X12 failed because the function symbol ~x0 ~
                        occurs in the body. name tbody (vars (merge-sort-symbol-< (all-vars body)))) nil (value) nil nil (evisc-tuple evisc-tuple) nil) ((nil nil nil nil) (4 3 4 3) (`) nil nil nil nil)) (/make-event/gen-defun.lisp::gen-name (nil nil nil (let) nil nil nil) (((name (intern-in-package-of-symbol (coerce (packn1 (list root - index)) (quote string)) root))) nil nil (cond) nil nil nil) (nil nil ((function-symbolp name wrld) t) nil nil nil nil) ((name) nil nil nil (recursive-call) nil nil) ((root wrld) nil (1+) nil nil nil nil) ((index) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/make-event/gen-defun.lisp::FN-0 (nil nil nil (+) nil nil nil) ((X Y) 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)) (/make-event/gen-defun.lisp::FN-1 (nil nil nil (*) nil nil nil) ((X Y) 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)) (/make-event/gen-defun.lisp::FN-2 (nil nil nil nil (*) nil nil) ((X Y Y) 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)) (/make-event/gen-defun.lisp::FOO-0 (nil nil (DECLARE) nil nil nil nil) (nil nil nil (XARGS) nil nil nil) ((:STOBJS STATE) 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)))