PATCHERS

Definition of PATCHERS