[gambit-list] (c-define-type array-int "std::vector<int>")