[slime-devel] Not using Slime's debugger