#include <stdio.h>

int

bar (void)

{

  return 1;

}

static void

__attribute__ ((destructor))

fini (void)

{

  putchar ('4');

}