#include <stdio.h> int bar (void) { return 1; } static void __attribute__ ((destructor)) fini (void) { putchar ('4'); }