typedef int PK_DEBUG_global_res_t;
This data type specifies whether any global differences have been found
when comparing two bodies.
PK_DEBUG_global_res_diffs_c global differences found
PK_DEBUG_global_res_no_diffs_c no global differences