id_ps13 471 tools/finsig_thumb2.c int id_ps13;// id in propset 13 id_ps13 5621 tools/finsig_thumb2.c if (knownprops[n].id == knownprops[n].id_ps13) hits[13-ps_offset] += 1;