+ fun blue_size: Int do return display.config_attrib(config, "3022".to_hex)
+ fun green_size: Int do return display.config_attrib(config, "3023".to_hex)
+ fun red_size: Int do return display.config_attrib(config, "3024".to_hex)
+ fun depth_size: Int do return display.config_attrib(config, "3025".to_hex)
+ fun stencil_size: Int do return display.config_attrib(config, "3026".to_hex)
+