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