1#include <stdio.h>
2
3static void
4fini_0 (void)
5{
6  printf ("fini array 0\n");
7}
8
9static void
10fini_1 (void)
11{
12  printf ("fini array 1\n");
13}
14
15static void
16fini_2 (void)
17{
18  printf ("fini array 2\n");
19}
20
21void (*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
30int
31main (void)
32{
33  return 0;
34}
35