pub const WGL_RED_SHIFT_ARB: u32 = 0x2016;