[slime-devel] Re: patch to destructure-case