(label) @1
(label) @begin
(label) @end
(byte) Button::color
(byte) Button::size
(const byte) Color::GREEN GREEN = (byte) 1
(const byte) Color::RED RED = (byte) 0
(const byte) RED RED = (byte) 0
(void()) main()
(label) main::@return
(byte*) main::SCREEN
(const byte*) main::SCREEN#0 SCREEN = (byte*) 1024
(byte) main::button_color
(byte) main::button_size
(const byte) main::button_size#0 button_size = (byte) $18

