!EOF è sempre falso quindi non entra neppure una volta nel corpo del while.