I don't know. When I was younger, I used to track these problems down
and try to explain in detail why buffered I/O is a bad bet with pipes,
sockets etc. I don't think anyone listened. I think I am going to
experiment with "I am old, so listen to me" and see if it works any better.