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