add eof()