Constant RENDERBUFFER_RED_SIZE 

pub const RENDERBUFFER_RED_SIZE: u32 = 0x8D50;