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