extern int foo1c(void);
int foo3b(void)
{
  return foo1c();
}