(label) @1
(label) @begin
(label) @end
(void()) main()
(byte~) main::$1 reg byte a 22.0
(label) main::@1
(label) main::@2
(label) main::@3
(label) main::@4
(label) main::@return
(byte) main::i
(byte) main::i#1 reg byte y 121.2
(byte) main::i#7 reg byte y 30.75
(byte) main::i#8 reg byte y 213.0
(byte) main::idx
(byte) main::idx#1 reg byte x 202.0
(byte) main::idx#2 reg byte x 22.0
(byte) main::idx#3 reg byte x 83.0
(byte) main::idx#8 reg byte x 40.99999999999999
(byte*) main::screen
(const byte*) main::screen#0 screen = (byte*) 1024

reg byte x [ main::idx#8 main::idx#3 main::idx#1 main::idx#2 ]
reg byte y [ main::i#8 main::i#7 main::i#1 ]
reg byte a [ main::$1 ]
