Re: [gambit-list] Re: C interface: wrong types generated?