PRETYPED

Definition of PRETYPED