typedef int PK_check_corrupt_t;
This data type 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