#include <stdio.h>

static void

__attribute__ ((destructor))

fini (void)

{

  putchar ('1');

}