1 #include <stdio.h>
2 
3 char *bar = "PASS";
4 extern char *bar_alias __attribute__ ((weak, alias ("bar")));
5 
6 void
foo(char * x)7 foo (char *x)
8 {
9   printf ("%s\n", x);
10 }
11