#include <stdio.h>
int
foo (void)
{
printf ("%s:%s\n", __FILE__, __func__);
return 1;
}
baz (void)
return 20;