#include <stdio.h>

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