[INTERPRETER] * NEW: Stream.Eof is a new property that returns if end of stream has been reached. It's the same thing as Eof(Stream).