Re: [slime-devel] problem with slime from cvs head and sbcl 1.0.23