[gambit-list] Appending 32bit integers to a file