(MIT) A Lisp operator which evaluates an expression and

then, even if that expression causes a non-local exit,

evaluates zero or more other expressions. This can be used to

ensure that essential "clean-up" operations are performed even

in the presence of errors.