[slime-devel] Re: SBCL backend fix