typedef int PK_facet_degen_t; This field can take any one of the following values. PK_facet_degen_multiple_vxs_c : output multiple vertices at degeneracies PK_facet_degen_single_vx_c : output single vertex at degeneracies PK_facet_degen_average_parms_c: output average parameters at degeneracies