eof as stdout message