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