[slime-devel] Re: alternative SLIME-DEBUGGER-HOOK