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