Constant GL_EXT_texture_integer 

pub const GL_EXT_texture_integer: u32 = 1;