Se usi una variabile di tipo intero, non hai modo di fare quel controllo ma non capisco quali siano i problemi dato che il corretto valore intero viene comunque memorizzato nelle due variabili intere. Altrimenti dovresti fare l'input di una stringa (un array di char) e controllare carattere per carattere ... mi sembra inutile ...

Per il resto, quello che salta agli occhi e' l'uso del goto ... dovresti farne a meno ... utilizza correttamente i cicli al suo posto ...