These are the official results for the December File IO contest!  There were not as many submissions as in November, due of course to holiday busy-ness.  We’ll remember that next year and make one long holiday game contest from November 1 to December 15.  Thanks again for your participation and the great ...