1  #include <stdio.h>
       2  
       3  int
       4  bar (void)
       5  {
       6    return 1;
       7  }
       8  
       9  static void
      10  __attribute__ ((destructor))
      11  fini (void)
      12  {
      13    putchar ('4');
      14  }