eval-macros, pvs2clean.lisp