paul99/v8m-rb — comment on commit b5c84e2eeff28342a555cc62cd2b6e47294c760f
File:  line 0
By dusmil:

Yes, it would be much more cleaner if it can be done in Jump() itself.