1  #include <stdio.h>
       2  
       3  extern int foo1 (void);
       4  extern int foo2 (void);
       5  extern int foo3 (void);
       6  
       7  static int my_var __attribute__((used, section("__verbose"))) = 6;
       8  
       9  int
      10  main ()
      11  {
      12    if (foo1 () == 0
      13        && foo2 () == 0
      14        && foo3 () == 0)
      15      printf ("PASS\n");
      16    return 0;
      17  }