#include <stdio.h>

extern int bar (int);

int
foo (int x)
{
  puts ("in foo");
  return bar (x / 2) + 2;
}