1 2 3 4 5 6 7 8 9 10 11 12 13 14
#include <stdio.h> int x; __attribute__((weak)) void foobar (void) { x++; } int main (void) { foobar (); if (x == -1) printf ("OK\n"); return 0; }