@drinu, giusto una curiosità: se sai che è Return che termina il tuo input, perché controlli EOF?