#idioms

You have reached the end of the stream.