Re: [slime-devel] abcl problem and workaround