jump_over is an empty tuple by default