(label) @1
(label) @2
(label) @begin
(label) @end
(const byte*) BORDERCOL = (byte*) 53280
(const byte*) MUSIC = (byte*) 4096
(const byte*) RASTER = (byte*) 53266
(void()) main()
(label) main::@1
(label) main::@2

