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