1 #include <stdio.h>
2 
3 static void
4 __attribute__ ((destructor))
fini(void)5 fini (void)
6 {
7   putchar ('1');
8 }
9