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