One more thing: (defmacro bar () 1) (compile 'bar '(lambda () 2)) should remove the macro binding for bar. COMPILE has my vote for most stupid interface of this year. Helmut