typedef int PK_check_fa_fa_t;
This data type is used to select checking of face-face consistency. It has
two values:
PK_check_fa_fa_no_c don't do face-face consistency checks
PK_check_fa_fa_yes_c do face-face consistency checks