1 1.1 christos #include <stdio.h> 2 1.1 christos #include <stdlib.h> 3 1.1 christos #include <err.h> 4 1.1 christos 5 1.1 christos int 6 1.1 christos main(void) 7 1.1 christos { 8 1.1 christos char line[1024]; 9 1.1 christos size_t i = 0; 10 1.1 christos while (fgets(line, sizeof(line), stdin) != NULL) { 11 1.1 christos if ((size_t)atoi(line) != i) 12 1.1 christos errx(EXIT_FAILURE, "bad line %s\n", line); 13 1.1 christos i++; 14 1.1 christos } 15 1.1 christos return EXIT_SUCCESS; 16 1.1 christos } 17