1 #include <stdio.h>
2 #include <stdlib.h>
3 
4 extern int value;
5 
6 int
main(int argc,char ** argv)7 main (int argc, char **argv)
8 {
9   int n = 10 * (argc + 1);
10   char *p = malloc (n);
11   __builtin_memcpy (p, argv[0], n);
12   if (value != -1)
13     abort ();
14   printf ("OK\n");
15   return 0;
16 }
17