Re: Handling EOF on stdin