x = (uint64)0xffff5ffd0800bfff;
printf("%lx\n", x);
x = x>>31;
printf("%lx\n", x);