Figured out how to read next int from stdin. Go me.
Can now read ints from a file too. Yay.