((/rtl/rel4/user/setbitn.lisp::formal-+ (nil nil nil nil (if) nil nil) (nil nil nil (and +) (list) nil nil) ((x y x y) nil (acl2-numberp acl2-numberp quote) 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)) (/rtl/rel4/user/setbitn.lisp::cat-size (nil nil nil nil (if) nil nil) (nil nil (endp cadr) (formal-+) nil nil nil) ((x) nil (cddr cadr recursive-call) nil nil nil nil) ((x x) nil (cddr) 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)))