Allora io pensavo che EOF (end of file) fosse il tasto invio, invece ho trovato in rete che EOF equivale alla pressione di ctrl-d (interruzione del flusso in ingresso).
Premuto ctrl-d si che allora la funzione printf() fa il suo lavoro indicandomi il numero dei caratteri, anche se invio bisogna premerlo lo stesso dopo la parola che inserisco facendo contare un carattere in più, poco male!
Grazie LeleFT per avermi posto quella domanda...
Ora posso continuare col libro, grazie comunque a tutti!