HI
#define HI(t) ((double)(t & 0xffffffff00000000LL))
#define HI(x) ((x) / 256)
#define HI(x) ((x) >> 16)
#undef HI