[slime-devel] REPL-specific printer control variables