((/centaur/vl/loader/parse-expressions-tokenlist.lisp::vl-tokenlist-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 (force vl-tokenlist-p) nil nil nil nil) (nil nil (vl-tokenlist-p) (mv-nth) nil nil nil)))