#include <stdio.h>
extern int back (void);
int
baz (void)
{
printf ("%s:%s\n", __FILE__, __func__);
return back ();
}
xyzzy (void)
return 0;