PINCHECKS

Definition of PINCHECKS