((/centaur/vl/loader/parse-expressions-error.lisp::vl-val-when-error-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 nil (mv-nth equal) nil nil nil) ((nil) (0) nil ((, name) mv-nth) nil nil nil)))