[gambit-list] How use the new Gambit debug options?