((/system/pcert/sub.lisp::bad (nil nil (mac) 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) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) nil nil (/system/pcert/sub.lisp::h (nil nil nil nil (if) nil nil) ((x) nil (consp recursive-call) nil nil nil nil) ((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) (nil nil nil nil nil nil nil)))