(label) @1
(label) @begin
(label) @end
(void()) main()
(label) main::@1
(label) main::@return
(const byte) main::BLACK = (byte) 0
(const byte*) main::cols = (byte*) 55296
(const byte*) main::screen = (byte*) 1024
(byte) main::x
(byte) main::x#1 reg byte y 16.5
(byte) main::x#2 reg byte y 8.25
(byte) main::y
(byte) main::y#0 reg byte x 16.5

reg byte y [ main::x#2 main::x#1 ]
reg byte x [ main::y#0 ]
