extern int b(void);

int c(void)
{
  return b() + 42;
}