Skip to content

test_rjumpv_into_push_n()

Documentation for tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjumpv.py::test_rjumpv_into_push_n@21fb11c8.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjumpv.py::test_rjumpv_into_push_n --fork Osaka

EOF1I4200_0039 (Invalid) EOF code containing RJUMPV with target PUSHN immediate.

Source code in tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjumpv.py
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
@pytest.mark.parametrize(
    "opcode",
    [
        Op.PUSH2,
        Op.PUSH3,
        Op.PUSH4,
        Op.PUSH5,
        Op.PUSH6,
        Op.PUSH7,
        Op.PUSH8,
        Op.PUSH9,
        Op.PUSH10,
        Op.PUSH11,
        Op.PUSH12,
        Op.PUSH13,
        Op.PUSH14,
        Op.PUSH15,
        Op.PUSH16,
        Op.PUSH17,
        Op.PUSH18,
        Op.PUSH19,
        Op.PUSH20,
        Op.PUSH21,
        Op.PUSH22,
        Op.PUSH23,
        Op.PUSH24,
        Op.PUSH25,
        Op.PUSH26,
        Op.PUSH27,
        Op.PUSH28,
        Op.PUSH29,
        Op.PUSH30,
        Op.PUSH31,
        Op.PUSH32,
    ],
)
@pytest.mark.parametrize(
    "table_size,invalid_index",
    [
        pytest.param(1, 0, id="t1i0"),
        pytest.param(256, 0, id="t256i0"),
        pytest.param(256, 255, id="t256i255"),
    ],
)
@pytest.mark.parametrize(
    "data_portion_end",
    [True, False],
    ids=["data_portion_end", "data_portion_start"],
)
@pytest.mark.parametrize("jump", [JumpDirection.FORWARD, JumpDirection.BACKWARD])
def test_rjumpv_into_push_n(
    eof_test: EOFTestFiller,
    opcode: Op,
    jump: JumpDirection,
    table_size: int,
    invalid_index: int,
    data_portion_end: bool,
):
    """EOF1I4200_0039 (Invalid) EOF code containing RJUMPV with target PUSHN immediate."""
    data_portion_length = int.from_bytes(opcode, byteorder="big") - 0x5F
    if jump == JumpDirection.FORWARD:
        invalid_destination = data_portion_length + 1 if data_portion_end else 2
        jump_table = [0 for _ in range(table_size)]
        jump_table[invalid_index] = invalid_destination
        code = (
            Op.PUSH1(1)
            + Op.RJUMPV[jump_table]
            + Op.STOP
            + opcode[1]
            + Op.PUSH1(1)
            + Op.SSTORE
            + Op.STOP
        )
    else:
        invalid_destination = (
            -(2 * table_size) - 3
            if data_portion_end
            else -(2 * table_size) - 2 - data_portion_length
        )
        jump_table = [0 for _ in range(table_size)]
        jump_table[invalid_index] = invalid_destination
        code = opcode[1] + Op.RJUMPV[jump_table] + Op.STOP
    eof_test(
        container=Container(
            sections=[Section.Code(code=code)],
        ),
        expect_exception=EOFException.INVALID_RJUMP_DESTINATION,
    )

Parametrized Test Cases

The interactive table below is also available as a standalone page.

Test ID (Abbreviated) jump data_portion_end table_size invalid_index opcode
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH2 JumpDirection.FORWARD True 1 0 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH3 JumpDirection.FORWARD True 1 0 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH4 JumpDirection.FORWARD True 1 0 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH5 JumpDirection.FORWARD True 1 0 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH6 JumpDirection.FORWARD True 1 0 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH7 JumpDirection.FORWARD True 1 0 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH8 JumpDirection.FORWARD True 1 0 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH9 JumpDirection.FORWARD True 1 0 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH10 JumpDirection.FORWARD True 1 0 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH11 JumpDirection.FORWARD True 1 0 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH12 JumpDirection.FORWARD True 1 0 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH13 JumpDirection.FORWARD True 1 0 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH14 JumpDirection.FORWARD True 1 0 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH15 JumpDirection.FORWARD True 1 0 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH16 JumpDirection.FORWARD True 1 0 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH17 JumpDirection.FORWARD True 1 0 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH18 JumpDirection.FORWARD True 1 0 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH19 JumpDirection.FORWARD True 1 0 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH20 JumpDirection.FORWARD True 1 0 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH21 JumpDirection.FORWARD True 1 0 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH22 JumpDirection.FORWARD True 1 0 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH23 JumpDirection.FORWARD True 1 0 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH24 JumpDirection.FORWARD True 1 0 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH25 JumpDirection.FORWARD True 1 0 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH26 JumpDirection.FORWARD True 1 0 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH27 JumpDirection.FORWARD True 1 0 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH28 JumpDirection.FORWARD True 1 0 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH29 JumpDirection.FORWARD True 1 0 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH30 JumpDirection.FORWARD True 1 0 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH31 JumpDirection.FORWARD True 1 0 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t1i0-opcode_PUSH32 JumpDirection.FORWARD True 1 0 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH2 JumpDirection.FORWARD True 256 0 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH3 JumpDirection.FORWARD True 256 0 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH4 JumpDirection.FORWARD True 256 0 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH5 JumpDirection.FORWARD True 256 0 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH6 JumpDirection.FORWARD True 256 0 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH7 JumpDirection.FORWARD True 256 0 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH8 JumpDirection.FORWARD True 256 0 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH9 JumpDirection.FORWARD True 256 0 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH10 JumpDirection.FORWARD True 256 0 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH11 JumpDirection.FORWARD True 256 0 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH12 JumpDirection.FORWARD True 256 0 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH13 JumpDirection.FORWARD True 256 0 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH14 JumpDirection.FORWARD True 256 0 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH15 JumpDirection.FORWARD True 256 0 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH16 JumpDirection.FORWARD True 256 0 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH17 JumpDirection.FORWARD True 256 0 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH18 JumpDirection.FORWARD True 256 0 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH19 JumpDirection.FORWARD True 256 0 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH20 JumpDirection.FORWARD True 256 0 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH21 JumpDirection.FORWARD True 256 0 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH22 JumpDirection.FORWARD True 256 0 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH23 JumpDirection.FORWARD True 256 0 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH24 JumpDirection.FORWARD True 256 0 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH25 JumpDirection.FORWARD True 256 0 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH26 JumpDirection.FORWARD True 256 0 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH27 JumpDirection.FORWARD True 256 0 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH28 JumpDirection.FORWARD True 256 0 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH29 JumpDirection.FORWARD True 256 0 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH30 JumpDirection.FORWARD True 256 0 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH31 JumpDirection.FORWARD True 256 0 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i0-opcode_PUSH32 JumpDirection.FORWARD True 256 0 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH2 JumpDirection.FORWARD True 256 255 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH3 JumpDirection.FORWARD True 256 255 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH4 JumpDirection.FORWARD True 256 255 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH5 JumpDirection.FORWARD True 256 255 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH6 JumpDirection.FORWARD True 256 255 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH7 JumpDirection.FORWARD True 256 255 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH8 JumpDirection.FORWARD True 256 255 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH9 JumpDirection.FORWARD True 256 255 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH10 JumpDirection.FORWARD True 256 255 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH11 JumpDirection.FORWARD True 256 255 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH12 JumpDirection.FORWARD True 256 255 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH13 JumpDirection.FORWARD True 256 255 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH14 JumpDirection.FORWARD True 256 255 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH15 JumpDirection.FORWARD True 256 255 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH16 JumpDirection.FORWARD True 256 255 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH17 JumpDirection.FORWARD True 256 255 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH18 JumpDirection.FORWARD True 256 255 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH19 JumpDirection.FORWARD True 256 255 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH20 JumpDirection.FORWARD True 256 255 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH21 JumpDirection.FORWARD True 256 255 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH22 JumpDirection.FORWARD True 256 255 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH23 JumpDirection.FORWARD True 256 255 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH24 JumpDirection.FORWARD True 256 255 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH25 JumpDirection.FORWARD True 256 255 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH26 JumpDirection.FORWARD True 256 255 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH27 JumpDirection.FORWARD True 256 255 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH28 JumpDirection.FORWARD True 256 255 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH29 JumpDirection.FORWARD True 256 255 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH30 JumpDirection.FORWARD True 256 255 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH31 JumpDirection.FORWARD True 256 255 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_end-t256i255-opcode_PUSH32 JumpDirection.FORWARD True 256 255 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH2 JumpDirection.FORWARD False 1 0 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH3 JumpDirection.FORWARD False 1 0 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH4 JumpDirection.FORWARD False 1 0 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH5 JumpDirection.FORWARD False 1 0 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH6 JumpDirection.FORWARD False 1 0 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH7 JumpDirection.FORWARD False 1 0 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH8 JumpDirection.FORWARD False 1 0 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH9 JumpDirection.FORWARD False 1 0 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH10 JumpDirection.FORWARD False 1 0 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH11 JumpDirection.FORWARD False 1 0 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH12 JumpDirection.FORWARD False 1 0 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH13 JumpDirection.FORWARD False 1 0 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH14 JumpDirection.FORWARD False 1 0 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH15 JumpDirection.FORWARD False 1 0 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH16 JumpDirection.FORWARD False 1 0 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH17 JumpDirection.FORWARD False 1 0 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH18 JumpDirection.FORWARD False 1 0 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH19 JumpDirection.FORWARD False 1 0 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH20 JumpDirection.FORWARD False 1 0 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH21 JumpDirection.FORWARD False 1 0 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH22 JumpDirection.FORWARD False 1 0 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH23 JumpDirection.FORWARD False 1 0 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH24 JumpDirection.FORWARD False 1 0 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH25 JumpDirection.FORWARD False 1 0 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH26 JumpDirection.FORWARD False 1 0 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH27 JumpDirection.FORWARD False 1 0 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH28 JumpDirection.FORWARD False 1 0 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH29 JumpDirection.FORWARD False 1 0 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH30 JumpDirection.FORWARD False 1 0 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH31 JumpDirection.FORWARD False 1 0 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t1i0-opcode_PUSH32 JumpDirection.FORWARD False 1 0 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH2 JumpDirection.FORWARD False 256 0 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH3 JumpDirection.FORWARD False 256 0 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH4 JumpDirection.FORWARD False 256 0 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH5 JumpDirection.FORWARD False 256 0 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH6 JumpDirection.FORWARD False 256 0 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH7 JumpDirection.FORWARD False 256 0 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH8 JumpDirection.FORWARD False 256 0 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH9 JumpDirection.FORWARD False 256 0 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH10 JumpDirection.FORWARD False 256 0 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH11 JumpDirection.FORWARD False 256 0 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH12 JumpDirection.FORWARD False 256 0 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH13 JumpDirection.FORWARD False 256 0 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH14 JumpDirection.FORWARD False 256 0 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH15 JumpDirection.FORWARD False 256 0 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH16 JumpDirection.FORWARD False 256 0 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH17 JumpDirection.FORWARD False 256 0 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH18 JumpDirection.FORWARD False 256 0 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH19 JumpDirection.FORWARD False 256 0 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH20 JumpDirection.FORWARD False 256 0 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH21 JumpDirection.FORWARD False 256 0 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH22 JumpDirection.FORWARD False 256 0 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH23 JumpDirection.FORWARD False 256 0 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH24 JumpDirection.FORWARD False 256 0 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH25 JumpDirection.FORWARD False 256 0 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH26 JumpDirection.FORWARD False 256 0 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH27 JumpDirection.FORWARD False 256 0 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH28 JumpDirection.FORWARD False 256 0 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH29 JumpDirection.FORWARD False 256 0 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH30 JumpDirection.FORWARD False 256 0 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH31 JumpDirection.FORWARD False 256 0 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i0-opcode_PUSH32 JumpDirection.FORWARD False 256 0 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH2 JumpDirection.FORWARD False 256 255 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH3 JumpDirection.FORWARD False 256 255 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH4 JumpDirection.FORWARD False 256 255 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH5 JumpDirection.FORWARD False 256 255 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH6 JumpDirection.FORWARD False 256 255 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH7 JumpDirection.FORWARD False 256 255 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH8 JumpDirection.FORWARD False 256 255 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH9 JumpDirection.FORWARD False 256 255 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH10 JumpDirection.FORWARD False 256 255 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH11 JumpDirection.FORWARD False 256 255 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH12 JumpDirection.FORWARD False 256 255 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH13 JumpDirection.FORWARD False 256 255 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH14 JumpDirection.FORWARD False 256 255 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH15 JumpDirection.FORWARD False 256 255 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH16 JumpDirection.FORWARD False 256 255 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH17 JumpDirection.FORWARD False 256 255 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH18 JumpDirection.FORWARD False 256 255 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH19 JumpDirection.FORWARD False 256 255 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH20 JumpDirection.FORWARD False 256 255 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH21 JumpDirection.FORWARD False 256 255 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH22 JumpDirection.FORWARD False 256 255 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH23 JumpDirection.FORWARD False 256 255 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH24 JumpDirection.FORWARD False 256 255 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH25 JumpDirection.FORWARD False 256 255 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH26 JumpDirection.FORWARD False 256 255 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH27 JumpDirection.FORWARD False 256 255 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH28 JumpDirection.FORWARD False 256 255 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH29 JumpDirection.FORWARD False 256 255 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH30 JumpDirection.FORWARD False 256 255 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH31 JumpDirection.FORWARD False 256 255 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.FORWARD-data_portion_start-t256i255-opcode_PUSH32 JumpDirection.FORWARD False 256 255 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH2 JumpDirection.BACKWARD True 1 0 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH3 JumpDirection.BACKWARD True 1 0 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH4 JumpDirection.BACKWARD True 1 0 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH5 JumpDirection.BACKWARD True 1 0 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH6 JumpDirection.BACKWARD True 1 0 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH7 JumpDirection.BACKWARD True 1 0 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH8 JumpDirection.BACKWARD True 1 0 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH9 JumpDirection.BACKWARD True 1 0 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH10 JumpDirection.BACKWARD True 1 0 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH11 JumpDirection.BACKWARD True 1 0 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH12 JumpDirection.BACKWARD True 1 0 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH13 JumpDirection.BACKWARD True 1 0 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH14 JumpDirection.BACKWARD True 1 0 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH15 JumpDirection.BACKWARD True 1 0 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH16 JumpDirection.BACKWARD True 1 0 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH17 JumpDirection.BACKWARD True 1 0 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH18 JumpDirection.BACKWARD True 1 0 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH19 JumpDirection.BACKWARD True 1 0 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH20 JumpDirection.BACKWARD True 1 0 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH21 JumpDirection.BACKWARD True 1 0 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH22 JumpDirection.BACKWARD True 1 0 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH23 JumpDirection.BACKWARD True 1 0 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH24 JumpDirection.BACKWARD True 1 0 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH25 JumpDirection.BACKWARD True 1 0 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH26 JumpDirection.BACKWARD True 1 0 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH27 JumpDirection.BACKWARD True 1 0 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH28 JumpDirection.BACKWARD True 1 0 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH29 JumpDirection.BACKWARD True 1 0 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH30 JumpDirection.BACKWARD True 1 0 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH31 JumpDirection.BACKWARD True 1 0 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t1i0-opcode_PUSH32 JumpDirection.BACKWARD True 1 0 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH2 JumpDirection.BACKWARD True 256 0 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH3 JumpDirection.BACKWARD True 256 0 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH4 JumpDirection.BACKWARD True 256 0 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH5 JumpDirection.BACKWARD True 256 0 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH6 JumpDirection.BACKWARD True 256 0 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH7 JumpDirection.BACKWARD True 256 0 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH8 JumpDirection.BACKWARD True 256 0 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH9 JumpDirection.BACKWARD True 256 0 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH10 JumpDirection.BACKWARD True 256 0 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH11 JumpDirection.BACKWARD True 256 0 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH12 JumpDirection.BACKWARD True 256 0 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH13 JumpDirection.BACKWARD True 256 0 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH14 JumpDirection.BACKWARD True 256 0 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH15 JumpDirection.BACKWARD True 256 0 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH16 JumpDirection.BACKWARD True 256 0 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH17 JumpDirection.BACKWARD True 256 0 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH18 JumpDirection.BACKWARD True 256 0 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH19 JumpDirection.BACKWARD True 256 0 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH20 JumpDirection.BACKWARD True 256 0 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH21 JumpDirection.BACKWARD True 256 0 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH22 JumpDirection.BACKWARD True 256 0 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH23 JumpDirection.BACKWARD True 256 0 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH24 JumpDirection.BACKWARD True 256 0 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH25 JumpDirection.BACKWARD True 256 0 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH26 JumpDirection.BACKWARD True 256 0 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH27 JumpDirection.BACKWARD True 256 0 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH28 JumpDirection.BACKWARD True 256 0 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH29 JumpDirection.BACKWARD True 256 0 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH30 JumpDirection.BACKWARD True 256 0 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH31 JumpDirection.BACKWARD True 256 0 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i0-opcode_PUSH32 JumpDirection.BACKWARD True 256 0 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH2 JumpDirection.BACKWARD True 256 255 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH3 JumpDirection.BACKWARD True 256 255 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH4 JumpDirection.BACKWARD True 256 255 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH5 JumpDirection.BACKWARD True 256 255 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH6 JumpDirection.BACKWARD True 256 255 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH7 JumpDirection.BACKWARD True 256 255 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH8 JumpDirection.BACKWARD True 256 255 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH9 JumpDirection.BACKWARD True 256 255 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH10 JumpDirection.BACKWARD True 256 255 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH11 JumpDirection.BACKWARD True 256 255 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH12 JumpDirection.BACKWARD True 256 255 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH13 JumpDirection.BACKWARD True 256 255 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH14 JumpDirection.BACKWARD True 256 255 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH15 JumpDirection.BACKWARD True 256 255 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH16 JumpDirection.BACKWARD True 256 255 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH17 JumpDirection.BACKWARD True 256 255 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH18 JumpDirection.BACKWARD True 256 255 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH19 JumpDirection.BACKWARD True 256 255 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH20 JumpDirection.BACKWARD True 256 255 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH21 JumpDirection.BACKWARD True 256 255 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH22 JumpDirection.BACKWARD True 256 255 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH23 JumpDirection.BACKWARD True 256 255 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH24 JumpDirection.BACKWARD True 256 255 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH25 JumpDirection.BACKWARD True 256 255 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH26 JumpDirection.BACKWARD True 256 255 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH27 JumpDirection.BACKWARD True 256 255 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH28 JumpDirection.BACKWARD True 256 255 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH29 JumpDirection.BACKWARD True 256 255 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH30 JumpDirection.BACKWARD True 256 255 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH31 JumpDirection.BACKWARD True 256 255 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_end-t256i255-opcode_PUSH32 JumpDirection.BACKWARD True 256 255 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH2 JumpDirection.BACKWARD False 1 0 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH3 JumpDirection.BACKWARD False 1 0 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH4 JumpDirection.BACKWARD False 1 0 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH5 JumpDirection.BACKWARD False 1 0 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH6 JumpDirection.BACKWARD False 1 0 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH7 JumpDirection.BACKWARD False 1 0 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH8 JumpDirection.BACKWARD False 1 0 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH9 JumpDirection.BACKWARD False 1 0 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH10 JumpDirection.BACKWARD False 1 0 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH11 JumpDirection.BACKWARD False 1 0 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH12 JumpDirection.BACKWARD False 1 0 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH13 JumpDirection.BACKWARD False 1 0 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH14 JumpDirection.BACKWARD False 1 0 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH15 JumpDirection.BACKWARD False 1 0 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH16 JumpDirection.BACKWARD False 1 0 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH17 JumpDirection.BACKWARD False 1 0 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH18 JumpDirection.BACKWARD False 1 0 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH19 JumpDirection.BACKWARD False 1 0 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH20 JumpDirection.BACKWARD False 1 0 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH21 JumpDirection.BACKWARD False 1 0 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH22 JumpDirection.BACKWARD False 1 0 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH23 JumpDirection.BACKWARD False 1 0 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH24 JumpDirection.BACKWARD False 1 0 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH25 JumpDirection.BACKWARD False 1 0 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH26 JumpDirection.BACKWARD False 1 0 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH27 JumpDirection.BACKWARD False 1 0 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH28 JumpDirection.BACKWARD False 1 0 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH29 JumpDirection.BACKWARD False 1 0 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH30 JumpDirection.BACKWARD False 1 0 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH31 JumpDirection.BACKWARD False 1 0 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t1i0-opcode_PUSH32 JumpDirection.BACKWARD False 1 0 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH2 JumpDirection.BACKWARD False 256 0 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH3 JumpDirection.BACKWARD False 256 0 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH4 JumpDirection.BACKWARD False 256 0 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH5 JumpDirection.BACKWARD False 256 0 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH6 JumpDirection.BACKWARD False 256 0 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH7 JumpDirection.BACKWARD False 256 0 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH8 JumpDirection.BACKWARD False 256 0 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH9 JumpDirection.BACKWARD False 256 0 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH10 JumpDirection.BACKWARD False 256 0 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH11 JumpDirection.BACKWARD False 256 0 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH12 JumpDirection.BACKWARD False 256 0 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH13 JumpDirection.BACKWARD False 256 0 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH14 JumpDirection.BACKWARD False 256 0 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH15 JumpDirection.BACKWARD False 256 0 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH16 JumpDirection.BACKWARD False 256 0 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH17 JumpDirection.BACKWARD False 256 0 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH18 JumpDirection.BACKWARD False 256 0 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH19 JumpDirection.BACKWARD False 256 0 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH20 JumpDirection.BACKWARD False 256 0 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH21 JumpDirection.BACKWARD False 256 0 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH22 JumpDirection.BACKWARD False 256 0 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH23 JumpDirection.BACKWARD False 256 0 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH24 JumpDirection.BACKWARD False 256 0 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH25 JumpDirection.BACKWARD False 256 0 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH26 JumpDirection.BACKWARD False 256 0 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH27 JumpDirection.BACKWARD False 256 0 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH28 JumpDirection.BACKWARD False 256 0 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH29 JumpDirection.BACKWARD False 256 0 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH30 JumpDirection.BACKWARD False 256 0 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH31 JumpDirection.BACKWARD False 256 0 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i0-opcode_PUSH32 JumpDirection.BACKWARD False 256 0 PUSH32
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH2 JumpDirection.BACKWARD False 256 255 PUSH2
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH3 JumpDirection.BACKWARD False 256 255 PUSH3
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH4 JumpDirection.BACKWARD False 256 255 PUSH4
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH5 JumpDirection.BACKWARD False 256 255 PUSH5
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH6 JumpDirection.BACKWARD False 256 255 PUSH6
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH7 JumpDirection.BACKWARD False 256 255 PUSH7
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH8 JumpDirection.BACKWARD False 256 255 PUSH8
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH9 JumpDirection.BACKWARD False 256 255 PUSH9
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH10 JumpDirection.BACKWARD False 256 255 PUSH10
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH11 JumpDirection.BACKWARD False 256 255 PUSH11
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH12 JumpDirection.BACKWARD False 256 255 PUSH12
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH13 JumpDirection.BACKWARD False 256 255 PUSH13
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH14 JumpDirection.BACKWARD False 256 255 PUSH14
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH15 JumpDirection.BACKWARD False 256 255 PUSH15
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH16 JumpDirection.BACKWARD False 256 255 PUSH16
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH17 JumpDirection.BACKWARD False 256 255 PUSH17
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH18 JumpDirection.BACKWARD False 256 255 PUSH18
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH19 JumpDirection.BACKWARD False 256 255 PUSH19
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH20 JumpDirection.BACKWARD False 256 255 PUSH20
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH21 JumpDirection.BACKWARD False 256 255 PUSH21
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH22 JumpDirection.BACKWARD False 256 255 PUSH22
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH23 JumpDirection.BACKWARD False 256 255 PUSH23
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH24 JumpDirection.BACKWARD False 256 255 PUSH24
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH25 JumpDirection.BACKWARD False 256 255 PUSH25
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH26 JumpDirection.BACKWARD False 256 255 PUSH26
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH27 JumpDirection.BACKWARD False 256 255 PUSH27
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH28 JumpDirection.BACKWARD False 256 255 PUSH28
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH29 JumpDirection.BACKWARD False 256 255 PUSH29
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH30 JumpDirection.BACKWARD False 256 255 PUSH30
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH31 JumpDirection.BACKWARD False 256 255 PUSH31
...fork_Osaka-eof_test-jump_JumpDirection.BACKWARD-data_portion_start-t256i255-opcode_PUSH32 JumpDirection.BACKWARD False 256 255 PUSH32