Method Stdio.Readline()->eof()

Method eof

void eof()

FIXME

Document this function