external glXBindTexImageEXT: dpy:Xlib.display -> drawable:'a GLX.glXDrawable -> buffer:buffer_param ->
    attrib_list:'a list (* TODO *) -> unit
    = "ml_glXBindTexImageEXT"