Re: [gambit-list] Patch to gambit-c.txi