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;