int var2 = 100;

static void

__attribute__ ((__destructor__))

destr (void)

{

  extern int fini_ran;

  fini_ran = 1;

}