Constant GL_COLOR_TABLE_RED_SIZE_EXT 

pub const GL_COLOR_TABLE_RED_SIZE_EXT: u32 = 32986u32;