Basic use of EOF