pub const GL_COLOR_TABLE_WIDTH_SGI: u32 = 32985;