Add print out of the value of EOF