[gambit-list] A proper way to allocate memory in C extensions