NAMECHECKED

Definition of NAMECHECKED