Re: slime-repl buffer