Re: [slime-devel] bug report (as per slime's request)