[slime-devel] Debugging variables