rust: EOF -> Eof