Re: [gambit-list] Gambit-C 4.0 beta 17