@ -38,9 +38,12 @@ get_integer(int chr)
value *= -1;
break;
case 'e' : /* integer end marker */
default : /* or garbled data */
cont = false;
fprintf(stderr, "Garbage after integer: %i%c<\n", value, c);
exit(EXIT_FAILURE);
}