1#include <stdio.h>
2
3int counter;
4extern void foo (void);
5extern void xxx (void);
6
7void
8bar (void)
9{
10}
11
12int
13main(void)
14{
15  bar ();
16  foo ();
17  xxx ();
18  if (counter == 1)
19    printf ("PASS\n");
20  return 0;
21}
22