egl :: EGLSurfaceAttribs :: mipmap_level
fun mipmap_level: Int do return display.query_surface(surface, 0x3083)