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