Re: [slime-devel] Weird one to do with pretty-printing