[slime-devel] a question and a bug