Constant INTERNALFORMAT_RED_TYPE 

pub const INTERNALFORMAT_RED_TYPE: u32 = 0x8278;