(label) @1
(label) @begin
(label) @end
(void()) main()
(label) main::@return
(byte*) main::hello
(const byte*) main::hello#0 hello = (string) "hello world!@"
(label) main::print1
(bool~) main::print1_$0
(label) main::print1_@1
(byte*) main::print1_at
(byte) main::print1_i
(byte) main::print1_i#1 reg byte y 16.5
(byte) main::print1_i#2 reg byte y 11.0
(byte) main::print1_j
(byte) main::print1_j#1 reg byte x 7.333333333333333
(byte) main::print1_j#2 reg byte x 16.5
(byte*) main::print1_msg
(label) main::print2
(bool~) main::print2_$0
(label) main::print2_@1
(byte*) main::print2_at
(const byte*) main::print2_at#0 print2_at = (const byte*) screen#0+(byte)(number) 2*(number) $28
(byte) main::print2_i
(byte) main::print2_i#1 reg byte y 16.5
(byte) main::print2_i#2 reg byte y 11.0
(byte) main::print2_j
(byte) main::print2_j#1 reg byte x 7.333333333333333
(byte) main::print2_j#2 reg byte x 16.5
(byte*) main::print2_msg
(byte*) screen
(const byte*) screen#0 screen = (byte*) 1024

reg byte y [ main::print1_i#2 main::print1_i#1 ]
reg byte x [ main::print1_j#2 main::print1_j#1 ]
reg byte y [ main::print2_i#2 main::print2_i#1 ]
reg byte x [ main::print2_j#2 main::print2_j#1 ]
