(label) @1
(label) @begin
(label) @end
(byte*) SCREEN
(const byte*) SCREEN#0 SCREEN = (byte*) 1024
(const byte) SIZEOF_BOOL SIZEOF_BOOL = (byte) 1
(const byte) SIZEOF_BYTE SIZEOF_BYTE = (byte) 1
(const byte) SIZEOF_DWORD SIZEOF_DWORD = (byte) 4
(const byte) SIZEOF_POINTER SIZEOF_POINTER = (byte) 2
(const byte) SIZEOF_SIGNED_BYTE SIZEOF_SIGNED_BYTE = (byte) 1
(const byte) SIZEOF_SIGNED_DWORD SIZEOF_SIGNED_DWORD = (byte) 4
(const byte) SIZEOF_SIGNED_WORD SIZEOF_SIGNED_WORD = (byte) 2
(const byte) SIZEOF_WORD SIZEOF_WORD = (byte) 2
(void()) main()
(label) main::@return
(byte) main::idx

