external glXQueryExtensionsString: dpy:Xlib.display -> screen:Xlib.screen_number -> string
    = "ml_glXQueryExtensionsString"