typedef int PK_DEBUG_local_res_t;
This data type specifies whether any local differences have been found
when comparing two bodies.
PK_DEBUG_local_res_diffs_c local differences found
PK_DEBUG_local_res_no_diffs_c no local differences