Update jumptable.py