Read large stream from STDIN

I noticed that there are performance issues with eachline() as well.
For these performance reasons, I have opened a new thread here: