Re: [slime-devel] renaming symbols locally