(label) @1
(label) @begin
(label) @end
(void()) main()
(label) main::@1
(label) main::@return
(byte*) main::SCREEN
(const byte*) main::SCREEN#0 SCREEN = (byte*) 1024
(byte) main::i
(byte) main::i#1 reg byte x 16.5
(byte) main::i#2 reg byte x 22.000000000000004
(byte[]) petscii_mixed1
(const byte[]) petscii_mixed1#0 petscii_mixed1 = (string) PETSCII_MIXED"abcABC2@"
(byte[]) petscii_mixed2
(const byte[]) petscii_mixed2#0 petscii_mixed2 = (string) PETSCII_MIXED"abcABC3@"
(byte[]) screencode_mixed1
(const byte[]) screencode_mixed1#0 screencode_mixed1 = (string) "abcABC1@"
(byte[]) screencode_mixed2
(const byte[]) screencode_mixed2#0 screencode_mixed2 = (string) "abcABC4@"
(byte[]) screencode_mixed3
(const byte[]) screencode_mixed3#0 screencode_mixed3 = (string) "abcABC6@"
(byte[]) screencode_upper
(const byte[]) screencode_upper#0 screencode_upper = (string) SCREENCODE_UPPER"abcABC5@"

reg byte x [ main::i#2 main::i#1 ]
