[gambit-list] Re: Reading data from mixed ASCII/binary files