Constant RED_INTEGER 

pub const RED_INTEGER: c_uint = 0x8D94;