1  #include <stdio.h>
       2  #include <stdlib.h>
       3  
       4  extern int value;
       5  
       6  int
       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  }