+(defmacro with-compilation-unit (&rest body)
+ `(progn
+ (setq *env* nil)
+ (setq *fenv* nil)
+ (setq *compilation-unit-checks* nil)
+ ,@body
+ (dolist (check *compilation-unit-checks*)
+ (funcall check))
+ (setq *env* nil)
+ (setq *fenv* nil)
+ (setq *compilation-unit-checks* nil)))
+