#include <stdio.h>
extern int bar (void);
int
foo (void)
{
return 42 + bar ();
}
static void
__attribute__ ((destructor))
fini (void)
putchar ('3');