1  int var1 = 42;
       2  
       3  static void
       4  __attribute__ ((__destructor__))
       5  destr (void)
       6  {
       7    extern int fini_ran;
       8    fini_ran = 1;
       9  }