jump.c: Use rtx_sequence