#include <stdio.h>

extern int bar (int);

int

foo (int x)

{

  puts ("in foo");

  return bar (x / 2) + 2;

}