Re: [slime-devel] problem with slime in latest cvs