#include <stdio.h>

int
bar (void)
{
  return 1;
}

static void
__attribute__ ((destructor))
fini (void)
{
  putchar ('4');
}