Re: [slime-devel] slime dies on printing some characters?