Constant RENDERBUFFER_RED_SIZE 

pub const RENDERBUFFER_RED_SIZE: c_uint = 0x8D50;