Test Function: test_eof_validity()

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

Back to test_eof_validity().

Parametrized Test Cases

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_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_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)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_STOP	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_STOP	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_STOP	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_PUSH_POP	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_POP	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_OVER_NEXT_NESTED	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPI_TO_START	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_0-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	0	RJUMPV_OVER_PUSH_AND_TO_START	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMP-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMP	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_EMPTY_RJUMPI-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	EMPTY_RJUMPI	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NOOP-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NOOP	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_STOP-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_STOP	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_PUSH_POP-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_PUSH_POP	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_POP-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_POP	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_OVER_NEXT_NESTED-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_OVER_NEXT_NESTED	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPI_TO_START-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPI_TO_START	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_EMPTY_AND_OVER_NEXT-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPV_EMPTY_AND_OVER_NEXT	(1, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(0, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(0, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(0, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(0, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(0, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(0, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(0, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(0, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(0, 1)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(1, 0)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(1, 0)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(1, 0)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 0)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(1, 0)	(1, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(0, 0)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(1, 1)	(0, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(0, 1)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(1, 1)	(0, 1)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(1, 0)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(1, 1)	(1, 0)
...fork_Osaka-eof_test-rjump_spot_BEFORE_TERMINATION-rjump_section_idx_1-rjump_kind_RJUMPV_OVER_PUSH_AND_TO_START-inputs_(1, 1)-outputs_(1, 1)	BEFORE_TERMINATION	1	RJUMPV_OVER_PUSH_AND_TO_START	(1, 1)	(1, 1)