1 2 3 4 5 6 7 8 9 10 11 12 13 14
#include <stdio.h> int bar (void) { return 1; } static void __attribute__ ((destructor)) fini (void) { putchar ('4'); }