Constant INTERNALFORMAT_RED_SIZE

pub const INTERNALFORMAT_RED_SIZE: u32 = 0x8271;