printf("hexl = 0x%08x\n", hexl);