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.2 rillig errx(EXIT_FAILURE, "bad line \"%s\", expected %zu\n", 13 1.2 rillig line, i); 14 1.1 christos i++; 15 1.1 christos } 16 1.1 christos return EXIT_SUCCESS; 17 1.1 christos } 18