pub const GL_OPERAND1_RGB_EXT: u32 = 34193;