id_ps12 470 tools/finsig_thumb2.c int id_ps12;// id in propset 12 id_ps12 5620 tools/finsig_thumb2.c if (knownprops[n].id == knownprops[n].id_ps12) hits[12-ps_offset] += 1;