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