((/centaur/4v-sexpr/sexpr-rewrites.lisp::4v-sexpr-simp-and-eval-output-quiet ((nil) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/sexpr-rewrites.lisp::4v-sexpr-simp-and-eval-output-loud (nil nil nil (let) nil nil nil) (((unbound-vars (case structtype (sexpr (4v-sexpr-vars-1pass simp-fns)) (list (4v-sexpr-vars-1pass simp-fns)) (alist (4v-sexpr-vars-1pass-list (alist-vals simp-fns))) (alists (4v-sexpr-vars-alists simp-fns)) (list-list (4v-sexpr-vars-1pass-list-list simp-fns))))) nil nil (and) nil nil nil) ((unbound-vars) nil nil (cw) nil nil nil) ((4v-sexpr-simp-and-eval: unbound variables:~%~x0~% unbound-vars) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))