Basic I/O, Part 7) Read ints from file

From Lane Schwartz