docs about eof