Constant GL_INTEL_map_texture 

pub const GL_INTEL_map_texture: u32 = 1;