correspond to eof