[gambit-list] Using TCC