JIT: rewritten code responsible for label jumping