Constant GL_COLOR_INDEX12_EXT 

pub const GL_COLOR_INDEX12_EXT: u32 = 32998u32;