implement jumping lazily for testing