((/centaur/vl/loader/parse-expressions.lisp::vl-pretty-atom (nil nil nil (let) nil nil nil) (((guts (vl-atom->guts x))) nil nil nil nil nil nil) (nil nil ((vl-constint-p guts) (vl-weirdint-p guts) (vl-string-p guts) (vl-real-p guts) (vl-id-p guts) (vl-hidpiece-p guts) (vl-funname-p guts) (vl-sysfunname-p guts)) nil nil nil nil) (nil nil (vl-constint->value) (list list list list list list list) nil nil nil) ((guts) nil (quote vl-bitlist->string quote vl-string->value quote vl-real->value quote vl-id->name quote vl-hidpiece->name quote vl-funname->name quote vl-sysfunname->name) nil nil nil nil) ((weird str guts real guts id guts hid guts fun guts sys guts) nil (vl-weirdint->bits) nil nil nil nil) ((guts) nil nil nil nil nil nil)))