egl :: EGLSurfaceAttribs :: mipmap_texture
fun mipmap_texture: Int do return display.query_surface(surface, 0x3082)