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