[gambit-list] Re: Adding POLLs to C code