[slime-devel] A possible bug in slime ...