7 for (i
= 0; i
< 1000; ++i
) {
8 printf("int do_%03d() { return %d; }\n", i
, i
);
11 for (i
= 0; i
< 1000; ++i
) {
12 printf("extern int do_%03d();\n", i
);
14 for (i
= 0; i
< 1000; ++i
) {
15 printf("if ( do_%03d() != %d ) { FAIL(\"iteration %d\"); exit(0); }\n", i
, i
, i
);