Re: [slime-devel] SLIME-repl input problems