Constant TEXTURE_RED_TYPE 

pub const TEXTURE_RED_TYPE: c_uint = 0x8C10;