[slime-devel] SLIME-repl input problems