#include <GL/gl.h>
#include <GL/glext.h>

int main(int nargs, char** args) {
  // From ARB_timer_query but should be core in 3.3
  glQueryCounter(GL_TIMESTAMP, 123);
  // From ARB_sampler_objects, also core in 3.3
  GLuint name;
  glGenSamplers(1, &name);
  return 0;
}