7 printf ("#include <stdlib.h>\nextern char testzero[16384];\nextern int");
8 for (i = 0; i < 255; ++i)
9 printf (" bar%02x (int),", i);
10 printf (" barff (int);\nint main (void)\n{\n int x = 0;\n");
11 for (i = 0; i < 256; ++i)
12 printf (" x = bar%02x (x);\n", i);
13 printf (" if (x != 0x7fff8000) abort ();\n");
14 printf (" for (x = 0; x < 16384; ++x)\n");
15 printf (" if (testzero[x]) abort ();\n");
16 printf (" exit (0);\n}\n\n");
17 printf ("asm (\".section nonalloced,\\\"aw\\\",@nobits\\n\\t\"\n");
18 printf (" \".globl testzero\\n\\t\"\n");
19 printf (" \"testzero: .skip 16384\\n\\t\"\n");
20 printf (" \".previous\");\n");