egl :: EGLSurfaceAttribs :: vertical_resolution
fun vertical_resolution: Int do return display.query_surface(surface, 0x3091)