pub const INTERNALFORMAT_RED_TYPE: u32 = 0x8278;