[gambit-list] Multi-thread debugging