egl :: EGLSurfaceAttribs :: horizontal_resolution
fun horizontal_resolution: Int do return display.query_surface(surface, 0x3090)