((/defexec/reflexive/reflexive.lisp::weird-identity-logic (nil nil nil nil (if) nil nil) (nil (0) nil (and let) nil nil nil) (((rec-call (weird-identity-logic (- x 1)))) nil (integerp) (<) (if) nil nil) ((x x) (0) (quote) (+) (and) nil nil) ((do-not-care) (1) (integerp recursive-call) (<= <) nil nil nil) ((rec-call rec-call rec-call x rec-call) (0) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/defexec/reflexive/reflexive.lisp::weird-identity (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil (weird-identity-logic) nil (if) nil nil) ((x) (0) nil (and +) nil nil nil) (nil (1) (integerp recursive-call) (<) nil nil nil) ((x x) (0) (recursive-call) nil nil nil nil) (nil nil nil (-) nil nil nil) ((x) (1) nil nil nil nil nil)))