BUG:eof_reached()