advancePC advances "operation pointer" (the combination of Address and OpIndex) in r.state by opAdvance steps.
(opAdvance int)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected