#include <stdio.h>

extern int bar (void);

int

foo (void)

{

  return 42 + bar ();

}

static void

__attribute__ ((destructor))

fini (void)

{

  putchar ('3');

}