((/centaur/vl/loader/parse-expressions-eof.lisp::vl-eof-claim-fn (nil nil nil (let) nil nil nil) (((full-args (append extra-args (quote (tokens warnings))))) nil (`) nil nil nil nil) (nil nil (quote) nil nil nil nil) (nil nil ((, name)) nil nil nil nil) (nil nil nil (implies) nil nil nil) (nil nil (not ,) nil nil nil nil) (nil nil (consp) nil (cond) nil nil)))