0fb7851fce ^
ad7534c8f0 ^
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; }