(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::print21
(bool~) main::print21_$0
(label) main::print21_@1
(byte*) main::print21_at
(byte) main::print21_i
(byte) main::print21_i#1 reg byte y 16.5
(byte) main::print21_i#2 reg byte y 11.0
(byte) main::print21_j
(byte) main::print21_j#1 reg byte x 7.333333333333333
(byte) main::print21_j#2 reg byte x 16.5
(byte*) main::print21_msg
(label) main::print22
(bool~) main::print22_$0
(label) main::print22_@1
(byte*) main::print22_at
(const byte*) main::print22_at#0 print22_at = (const byte*) screen#0+(byte) $50
(byte) main::print22_i
(byte) main::print22_i#1 reg byte y 16.5
(byte) main::print22_i#2 reg byte y 11.0
(byte) main::print22_j
(byte) main::print22_j#1 reg byte x 7.333333333333333
(byte) main::print22_j#2 reg byte x 16.5
(byte*) main::print22_msg
(byte*) screen
(const byte*) screen#0 screen = (byte*) 1024

reg byte y [ main::print21_i#2 main::print21_i#1 ]
reg byte x [ main::print21_j#2 main::print21_j#1 ]
reg byte y [ main::print22_i#2 main::print22_i#1 ]
reg byte x [ main::print22_j#2 main::print22_j#1 ]
