Program must now end in EOF