Constant HIGH_INT 

pub const HIGH_INT: u32 = 0x8DF5;