(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.0
(byte[]) petscii_mixed
(const byte[]) petscii_mixed#0 petscii_mixed = (string) PETSCII_MIXED"abcABC1@"
(byte[]) petscii_standard
(const byte[]) petscii_standard#0 petscii_standard = (string) PETSCII_MIXED"abcABC3@"
(byte[]) petscii_upper
(const byte[]) petscii_upper#0 petscii_upper = (string) PETSCII_UPPER"abcABC2@"
(byte[]) screencode_mixed
(const byte[]) screencode_mixed#0 screencode_mixed = (string) "abcABC4@"
(byte[]) screencode_standard
(const byte[]) screencode_standard#0 screencode_standard = (string) "abcABC6@"
(byte[]) screencode_upper
(const byte[]) screencode_upper#0 screencode_upper = (string) SCREENCODE_UPPER"abcABC5@"
(byte[]) standard
(const byte[]) standard#0 standard = (string) "abcABC7@"

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