return EOF