Constant surfman::gl::TEXTURE_RED_TYPE

pub const TEXTURE_RED_TYPE: c_uint = 0x8C10;