pub const GL_COLOR_TABLE_RED_SIZE_SGI: u32 = 32986;