id_ps11 469 tools/finsig_thumb2.c int id_ps11;// id in propset 11 id_ps11 5619 tools/finsig_thumb2.c if (knownprops[n].id == knownprops[n].id_ps11) hits[11-ps_offset] += 1;