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