   wglext
  are wgl extensions card specific or guaranteed to work under windows? for example, should I trust wglSwapIntervalEXT to work on every machine running windows or should I write some other custom vsync function for cases it doesn't?   
  It is driver specific but I think they all support it.   