[slime-devel] alternative SLIME-DEBUGGER-HOOK