[gambit-list] Have you fixed the code sequence for JUMPGLOSAFE?