Constant GL_COLOR_TABLE_WIDTH_EXT 

pub const GL_COLOR_TABLE_WIDTH_EXT: u32 = 32985u32;