PRECHECKED

Definition of PRECHECKED