Fine by me as is. But like I said SkipNext should be identical to
NextStream.

EOF = IsEof()
If(skipnext())
{
If(eof)
Return Nextstream_open
Else
Return nextstteam_retry
} else
Return nextstream_none