Già, ed eventualmente altri caratteri se avessi inserito una stringa tipo:
12baujfbui
oppure
14 afjd

Un metodo alternativo è anche utilizzare:
codice:
fflush(stdin);
Ma non funziona su tutti i sistemi operativi quindi lo sconsiglio fortemente!