HIGH_INT constant

int HIGH_INT = 0x8DF5