fix value of exit_eof to extra