external glXCreatePixmapEXT: dpy:Xlib.display -> config:GLX.glXFBConfig ->
                             pixmap:Xlib.pixmap -> attribs:'a list -> GLX.glXPixmap = "ml_glXCreatePixmapEXT"