1  #include <stdio.h>
       2  
       3  extern void *__executable_start;
       4   
       5  int
       6  main()
       7  {
       8    if ((void **) &main >= &__executable_start)
       9      printf ("OK\n");
      10    return 0;
      11  }