pub const GL_PERFQUERY_COUNTER_DATA_DOUBLE_INTEL: u32 = 38139;