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