(label) @1
(label) @begin
(label) @end
(byte) Button::color
(byte) Button::size
(const byte) RED = (number) 2
(void()) main()
(label) main::@return
(const byte*) main::SCREEN = (byte*) 1024
(const byte) main::button_size = (byte) $18

