u4_nm
if (u4_nm[tbl[i].u4].u4 >= 0){
printf("0x%0x\t%s\n", i, u4_nm[tbl[i].u4].nm);
printf("0x%0x\t ????????\n", i, u4_nm[tbl[i].u4].nm);
u4_nm[k].u4 = -1;
u4_nm[k].u4 = k;
u4_nm[k].nm[j] = buf[i];
u4_nm[k].nm[j] = '\0';
} u4_nm[0x10000];