TRANSLATORS

Definition of TRANSLATORS