Constant INTERNALFORMAT_RED_SIZE 

pub const INTERNALFORMAT_RED_SIZE: u32 = 0x8271;