[gambit-list] PICOBIT and continuation-next?