#include <stdio.h> char *bar = "PASS"; extern char *bar_alias __attribute__ ((weak, alias ("bar"))); void foo (char *x) { printf ("%s\n", x); }