PK_check_corrupt_t

typedef int PK_check_corrupt_t;

Used in:

PK_ASSEMBLY_check_o_t
PK_BODY_check_o_t

This datatype is used to select checking for corrupt data structures:  It has
two values:

    PK_check_corrupt_no_c            don't do data structure corruption checks
    PK_check_corrupt_yes_c           check for corrupt data structure and
                                     check identifiers