pub const __glx_glxext_h_: u32 = 1;