[slime-devel] Bugs?