dummy_failure_jump
INSERT_JUMP (dummy_failure_jump, laststart, laststart + 6);
case dummy_failure_jump:
case dummy_failure_jump:
case dummy_failure_jump:
case dummy_failure_jump: