Renaming Designators