int HIGH_INT = 0x8DF5

Source

static const int HIGH_INT = 0x8DF5