(label) @1
(label) @begin
(label) @end
(void()) main()
(label) main::@1
(label) main::@2
(label) main::@return
(const byte*) main::SCREEN1 = (byte*) 1024
(const byte*) main::SCREEN2 = (const byte*) main::SCREEN1+(byte) $28
(byte) main::idx
(const byte*) main::ptr = &(byte) val
(void()) setp((byte*) setp::p , (byte) setp::v)
(label) setp::@return
(byte*) setp::p
(byte) setp::v
(const byte) setp::v#0 v = (byte) 5
(void()) setv((byte) setv::v)
(label) setv::@return
(byte) setv::v
(const byte) setv::v#0 v = (byte) 4
(byte) val loadstore zp[1]:2 1.5384615384615383

zp[1]:2 [ val ]
