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