((/make-event/gen-defun-check.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-check.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)))