Symbol: rename_ctl