Re: rename symbols