RENAMES

Definition of RENAMES