[gambit-list] Input buffering and other IO issues