DEROS

Definition of DEROS