Principle was that we may have read all the content from the underlying pipe (s.t. it set the EoF flag) but we haven't actually iterated the content.
Need to fix what's going on with the example in main.c using stdin.