int var1 = 42;

static void
__attribute__ ((__destructor__))
destr (void)
{
  extern int fini_ran;
  fini_ran = 1;
}