((/hacking/defcode.lisp::acl2-hacker::defcode-code-listp (nil nil nil (or) nil nil nil) (nil nil (null) nil (and) nil nil) ((l) nil (consp consp not) nil nil nil nil) ((l) nil (car) (eq) nil nil nil) ((l) nil (quote caar) nil nil nil nil) ((lambda l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/hacking/defcode.lisp::acl2-hacker::defcode-ensure-code-list (nil nil nil nil (if) nil nil) ((c) nil (acl2-hacker::defcode-code-listp list) nil nil nil nil) ((c 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)))