[TUHS] EOF on pipes?