Constant GL_RED_INTEGER_EXT

pub const GL_RED_INTEGER_EXT: u32 = 36244;