pub const GL_COLOR_TABLE_WIDTH_EXT: u32 = 32985u32;