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