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;