1
2#include <stdio.h>
3
4int main()
5{
6	int i;
7	for (i = 0; i < 1000; ++i) {
8		printf("int do_%03d() { return %d; }\n", i, i);
9	}
10
11	for (i = 0; i < 1000; ++i) {
12		printf("extern int do_%03d();\n", i);
13	}
14	for (i = 0; i < 1000; ++i) {
15		printf("if ( do_%03d() != %d ) { FAIL(\"iteration %d\"); exit(0); }\n", i, i, i);
16	}
17
18	return 0;
19}