((/centaur/vl/checkers/skip-detect.lisp::vl-pp-context-modest (nil nil nil (let) nil nil nil) (((full (with-local-ps (vl-pp-modelement-full (vl-context->elem x))))) nil nil nil (if) nil nil) ((full) nil nil (<) (cat) nil nil) ((... *nls*) (230) (length) nil (subseq) nil nil) ((full full) (0 230) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))