#include <stdio.h>static voidfini_0 (void){printf ("fini array 0\n");}static voidfini_1 (void){printf ("fini array 1\n");}static voidfini_2 (void){printf ("fini array 2\n");}void (*const fini_array []) (void)__attribute__ ((section (".fini_array"),aligned (sizeof (void *)))) ={&fini_0,&fini_1,&fini_2};intmain (void){return 0;}