external glXQueryServerString: dpy:Xlib.display -> screen:Xlib.screen_number -> name:glx_name -> string
    = "ml_glXQueryServerString"