[slime-devel] Backtrace verbosity