printf("%x\n", ((0xffffffff + 1) >> 1));