Re: [slime-devel] Old REPL input