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;