[slime-devel] Re: Bug in CLEAR-INPUT