1 #include <stdio.h>
2 
3 static void
fini_0(void)4 fini_0 (void)
5 {
6   printf ("fini array 0\n");
7 }
8 
9 static void
fini_1(void)10 fini_1 (void)
11 {
12   printf ("fini array 1\n");
13 }
14 
15 static void
fini_2(void)16 fini_2 (void)
17 {
18   printf ("fini array 2\n");
19 }
20 
21 void (*const fini_array []) (void)
22      __attribute__ ((section (".fini_array"),
23 		     aligned (sizeof (void *)))) =
24 {
25   &fini_0,
26   &fini_1,
27   &fini_2
28 };
29 
30 int
main(void)31 main (void)
32 {
33   return 0;
34 }
35