a file of ints