typedef int PK_section_result_t;
PK_section_result_t has the following values:
PK_section_result_success_c section succeeded
PK_section_result_no_clash_c target does clash with tool
PK_section_result_no_effect_c target not affected by tool
PK_section_result_failed_c section failed