199be3a9dSchristos #include <stdio.h> 299be3a9dSchristos #include <stdlib.h> 399be3a9dSchristos #include <err.h> 499be3a9dSchristos 599be3a9dSchristos int main(void)699be3a9dSchristosmain(void) 799be3a9dSchristos { 899be3a9dSchristos char line[1024]; 999be3a9dSchristos size_t i = 0; 1099be3a9dSchristos while (fgets(line, sizeof(line), stdin) != NULL) { 1199be3a9dSchristos if ((size_t)atoi(line) != i) 12*23a57227Srillig errx(EXIT_FAILURE, "bad line \"%s\", expected %zu\n", 13*23a57227Srillig line, i); 1499be3a9dSchristos i++; 1599be3a9dSchristos } 1699be3a9dSchristos return EXIT_SUCCESS; 1799be3a9dSchristos } 18