Skip to content

test_rjumps_callf_retf()

Documentation for tests/osaka/eip7692_eof_v1/eip5450_stack/test_code_validation.py::test_rjumps_callf_retf@21fb11c8.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip5450_stack/test_code_validation.py::test_rjumps_callf_retf --fork Osaka

Test EOF container validaiton for EIP-4200 vs EIP-4750 interactions.

Each test's code consists of num_sections code sections, which call into one another and then return. Code may include RJUMP* snippets of rjump_kind in various rjump_spots.

Source code in tests/osaka/eip7692_eof_v1/eip5450_stack/test_code_validation.py
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
@pytest.mark.parametrize(
    ["inputs", "outputs"],
    itertools.product(
        list(itertools.product(*([possible_inputs_outputs] * (num_sections - 1)))),
        list(itertools.product(*([possible_inputs_outputs] * (num_sections - 1)))),
    ),
)
@pytest.mark.parametrize(
    "rjump_kind",
    RjumpKind,
)
# Parameter value fixed for first iteration, to cover the most important case.
@pytest.mark.parametrize("rjump_section_idx", [0, 1])
@pytest.mark.parametrize(
    "rjump_spot",
    RjumpSpot,
)
def test_rjumps_callf_retf(
    eof_test: EOFTestFiller,
    inputs: Tuple[int, ...],
    outputs: Tuple[int, ...],
    rjump_kind: RjumpKind,
    rjump_section_idx: int,
    rjump_spot: RjumpSpot,
):
    """
    Test EOF container validaiton for EIP-4200 vs EIP-4750 interactions.

    Each test's code consists of `num_sections` code sections, which call into one another
    and then return. Code may include RJUMP* snippets of `rjump_kind` in various `rjump_spots`.
    """
    # Zeroth section has always 0 inputs and 0 outputs, so is excluded from param
    inputs = (0,) + inputs
    outputs = (0,) + outputs

    assert len(inputs) == len(outputs) == num_sections

    sections = []
    container_has_invalid_back_jump = False
    container_has_rjump_pops = False
    container_has_rjump_pushes = False
    container_has_rjump_off_code = False
    container_has_section_0_retf = (
        rjump_section_idx == 0 and rjump_kind == RjumpKind.RJUMPI_OVER_RETF
    )

    for section_idx in range(num_sections):
        if section_idx == 0:
            call = Op.CALLF[section_idx + 1]
            call.popped_stack_items = inputs[section_idx + 1]
            call.pushed_stack_items = outputs[section_idx + 1]
            call.min_stack_height = call.popped_stack_items
            call.max_stack_height = max(call.popped_stack_items, call.pushed_stack_items)
            termination = Op.STOP
        elif section_idx < num_sections - 1:
            call = Op.CALLF[section_idx + 1]
            call.popped_stack_items = inputs[section_idx + 1]
            call.pushed_stack_items = outputs[section_idx + 1]
            call.min_stack_height = call.popped_stack_items
            call.max_stack_height = max(call.popped_stack_items, call.pushed_stack_items)
            termination = Op.RETF
        else:
            call = None
            termination = Op.RETF

        (
            code,
            section_has_invalid_back_jump,
            rjump_snippet_pops,
            rjump_snippet_pushes,
            rjump_falls_off_code,
        ) = section_code_with(
            inputs[section_idx],
            outputs[section_idx],
            rjump_kind if rjump_section_idx == section_idx else None,
            rjump_spot,
            call,
            termination,
        )

        if section_has_invalid_back_jump:
            container_has_invalid_back_jump = True
        if rjump_snippet_pops:
            container_has_rjump_pops = True
        # Pushes to the stack never affect the zeroth section, because it `STOP`s and not `RETF`s.
        if rjump_snippet_pushes and section_idx != 0:
            container_has_rjump_pushes = True
        if rjump_falls_off_code:
            container_has_rjump_off_code = True

        if section_idx > 0:
            sections.append(
                Section.Code(
                    code,
                    code_inputs=inputs[section_idx],
                    code_outputs=outputs[section_idx],
                )
            )
        else:
            sections.append(Section.Code(code))

    possible_exceptions = []
    if container_has_invalid_back_jump:
        possible_exceptions.append(EOFException.STACK_HEIGHT_MISMATCH)
    if container_has_rjump_pops:
        possible_exceptions.append(EOFException.STACK_UNDERFLOW)
    if container_has_rjump_pushes:
        possible_exceptions.append(EOFException.STACK_HIGHER_THAN_OUTPUTS)
    if container_has_rjump_off_code:
        possible_exceptions.append(EOFException.INVALID_RJUMP_DESTINATION)
    if container_has_section_0_retf:
        possible_exceptions.append(EOFException.INVALID_NON_RETURNING_FLAG)

    eof_test(container=Container(sections=sections), expect_exception=possible_exceptions or None)

Parametrized Test Cases

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

Test ID (Abbreviated) rjump_spot rjump_section_idx rjump_kind inputs outputs
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 EMPTY_RJUMP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 EMPTY_RJUMP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 EMPTY_RJUMP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 EMPTY_RJUMP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 EMPTY_RJUMP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 EMPTY_RJUMP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 EMPTY_RJUMP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 EMPTY_RJUMP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 EMPTY_RJUMP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 EMPTY_RJUMP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 EMPTY_RJUMP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 EMPTY_RJUMP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 EMPTY_RJUMP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 EMPTY_RJUMP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 EMPTY_RJUMP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 EMPTY_RJUMP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 EMPTY_RJUMPI (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 EMPTY_RJUMPI (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 EMPTY_RJUMPI (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 EMPTY_RJUMPI (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 EMPTY_RJUMPI (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 EMPTY_RJUMPI (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 EMPTY_RJUMPI (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 EMPTY_RJUMPI (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 EMPTY_RJUMPI (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 EMPTY_RJUMPI (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 EMPTY_RJUMPI (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 EMPTY_RJUMPI (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 EMPTY_RJUMPI (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 EMPTY_RJUMPI (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 EMPTY_RJUMPI (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 EMPTY_RJUMPI (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_PUSH (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_PUSH (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_PUSH (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_PUSH (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_PUSH (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_PUSH (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_PUSH (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_PUSH (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_PUSH (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_PUSH (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_PUSH (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_PUSH (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_PUSH (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_PUSH (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_PUSH (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_PUSH (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NOOP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NOOP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NOOP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NOOP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NOOP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NOOP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NOOP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NOOP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NOOP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NOOP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NOOP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NOOP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NOOP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NOOP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NOOP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NOOP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_STOP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_STOP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_STOP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_STOP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_STOP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_STOP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_STOP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_STOP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_STOP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_STOP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_STOP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_STOP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_STOP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_STOP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_STOP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_STOP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_PUSH_POP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_PUSH_POP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_PUSH_POP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_PUSH_POP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_PUSH_POP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_PUSH_POP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_PUSH_POP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_PUSH_POP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_PUSH_POP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_PUSH_POP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_PUSH_POP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_PUSH_POP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_PUSH_POP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_PUSH_POP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_PUSH_POP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_PUSH_POP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_POP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_POP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_POP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_POP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_POP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_POP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_POP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_POP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_POP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_POP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_POP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_POP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_POP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_POP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_POP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_POP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NEXT (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NEXT (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NEXT (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NEXT (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NEXT (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NEXT (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NEXT (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NEXT (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NEXT (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NEXT (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NEXT (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NEXT (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NEXT (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NEXT (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NEXT (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NEXT (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_NEXT_NESTED (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_TO_START (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_TO_START (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_TO_START (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_TO_START (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_TO_START (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_TO_START (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_TO_START (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_TO_START (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_TO_START (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_TO_START (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_TO_START (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_TO_START (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_TO_START (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_TO_START (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_TO_START (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_TO_START (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPV_EMPTY_AND_OVER_NEXT (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPV_OVER_PUSH_AND_TO_START (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_RETF (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_RETF (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_RETF (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_RETF (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_RETF (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_RETF (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_RETF (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_RETF (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 0)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_RETF (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 0)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_RETF (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 0)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_RETF (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 0)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_RETF (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 1)-outputs_(0, 0) BEGINNING 0 RJUMPI_OVER_RETF (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 1)-outputs_(0, 1) BEGINNING 0 RJUMPI_OVER_RETF (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 1)-outputs_(1, 0) BEGINNING 0 RJUMPI_OVER_RETF (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 1)-outputs_(1, 1) BEGINNING 0 RJUMPI_OVER_RETF (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 EMPTY_RJUMP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 EMPTY_RJUMP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 EMPTY_RJUMP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 EMPTY_RJUMP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 EMPTY_RJUMP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 EMPTY_RJUMP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 EMPTY_RJUMP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 EMPTY_RJUMP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 EMPTY_RJUMP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 EMPTY_RJUMP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 EMPTY_RJUMP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 EMPTY_RJUMP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 EMPTY_RJUMP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 EMPTY_RJUMP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 EMPTY_RJUMP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 EMPTY_RJUMP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 EMPTY_RJUMPI (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 EMPTY_RJUMPI (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 EMPTY_RJUMPI (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 EMPTY_RJUMPI (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 EMPTY_RJUMPI (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 EMPTY_RJUMPI (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 EMPTY_RJUMPI (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 EMPTY_RJUMPI (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 EMPTY_RJUMPI (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 EMPTY_RJUMPI (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 EMPTY_RJUMPI (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 EMPTY_RJUMPI (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 EMPTY_RJUMPI (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 EMPTY_RJUMPI (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 EMPTY_RJUMPI (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 EMPTY_RJUMPI (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_PUSH (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_PUSH (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_PUSH (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_PUSH (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_PUSH (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_PUSH (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_PUSH (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_PUSH (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_PUSH (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_PUSH (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_PUSH (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_PUSH (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_PUSH (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_PUSH (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_PUSH (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_PUSH (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NOOP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NOOP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NOOP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NOOP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NOOP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NOOP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NOOP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NOOP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NOOP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NOOP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NOOP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NOOP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NOOP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NOOP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NOOP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NOOP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_STOP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_STOP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_STOP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_STOP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_STOP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_STOP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_STOP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_STOP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_STOP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_STOP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_STOP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_STOP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_STOP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_STOP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_STOP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_STOP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_PUSH_POP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_PUSH_POP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_PUSH_POP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_PUSH_POP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_PUSH_POP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_PUSH_POP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_PUSH_POP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_PUSH_POP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_PUSH_POP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_PUSH_POP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_PUSH_POP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_PUSH_POP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_PUSH_POP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_PUSH_POP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_PUSH_POP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_PUSH_POP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_POP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_POP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_POP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_POP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_POP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_POP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_POP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_POP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_POP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_POP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_POP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_POP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_POP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_POP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_POP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_POP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NEXT (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NEXT (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NEXT (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NEXT (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NEXT (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NEXT (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NEXT (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NEXT (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NEXT (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NEXT (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NEXT (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NEXT (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NEXT (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NEXT (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NEXT (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NEXT (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_NEXT_NESTED (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_TO_START (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_TO_START (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_TO_START (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_TO_START (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_TO_START (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_TO_START (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_TO_START (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_TO_START (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_TO_START (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_TO_START (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_TO_START (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_TO_START (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_TO_START (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_TO_START (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_TO_START (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_TO_START (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPV_EMPTY_AND_OVER_NEXT (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPV_OVER_PUSH_AND_TO_START (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_RETF (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_RETF (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_RETF (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_RETF (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_RETF (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_RETF (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_RETF (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(0, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_RETF (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 0)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_RETF (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 0)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_RETF (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 0)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_RETF (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 0)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_RETF (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 1)-outputs_(0, 0) BEGINNING 1 RJUMPI_OVER_RETF (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 1)-outputs_(0, 1) BEGINNING 1 RJUMPI_OVER_RETF (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 1)-outputs_(1, 0) BEGINNING 1 RJUMPI_OVER_RETF (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEGINNING-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_RETF-inputs_(1, 1)-outputs_(1, 1) BEGINNING 1 RJUMPI_OVER_RETF (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 EMPTY_RJUMP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 EMPTY_RJUMP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 EMPTY_RJUMP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 EMPTY_RJUMP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 EMPTY_RJUMP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(0, 1) BEFORE_TERMINATION 0 EMPTY_RJUMP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(1, 0) BEFORE_TERMINATION 0 EMPTY_RJUMP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(1, 1) BEFORE_TERMINATION 0 EMPTY_RJUMP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 EMPTY_RJUMP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 EMPTY_RJUMP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 EMPTY_RJUMP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 EMPTY_RJUMP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 EMPTY_RJUMP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(0, 1) BEFORE_TERMINATION 0 EMPTY_RJUMP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(1, 0) BEFORE_TERMINATION 0 EMPTY_RJUMP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(1, 1) BEFORE_TERMINATION 0 EMPTY_RJUMP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 EMPTY_RJUMPI (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 EMPTY_RJUMPI (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 EMPTY_RJUMPI (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 EMPTY_RJUMPI (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 EMPTY_RJUMPI (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(0, 1) BEFORE_TERMINATION 0 EMPTY_RJUMPI (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(1, 0) BEFORE_TERMINATION 0 EMPTY_RJUMPI (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(1, 1) BEFORE_TERMINATION 0 EMPTY_RJUMPI (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 EMPTY_RJUMPI (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 EMPTY_RJUMPI (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 EMPTY_RJUMPI (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 EMPTY_RJUMPI (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 EMPTY_RJUMPI (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(0, 1) BEFORE_TERMINATION 0 EMPTY_RJUMPI (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(1, 0) BEFORE_TERMINATION 0 EMPTY_RJUMPI (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(1, 1) BEFORE_TERMINATION 0 EMPTY_RJUMPI (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_PUSH (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (1, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (1, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (1, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_NOOP (1, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (0, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (0, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (0, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (0, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (0, 1) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (0, 1) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (0, 1) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (0, 1) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (1, 0) (0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(0, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (1, 0) (0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(1, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (1, 0) (1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(1, 1) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (1, 0) (1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(0, 0) BEFORE_TERMINATION 0 RJUMPI_OVER_STOP (1, 1) (0, 0)