[gambit-list] dumb question: outputting in hex format