encode eof