1 2 3 4 5 6 7 8
#include <stdio.h> static void __attribute__ ((destructor)) fini (void) { putchar ('1'); }