constant
HIGH_INT

int HIGH_INT = 0x8DF5

(Not documented.)