Constant RED_INTEGER

pub const RED_INTEGER: u32 = 0x8D94;