[slime-devel] renaming symbols locally