#include <stdio.h>

extern int foo (int x);

int

bar (int x)

{

  puts ("bar");

  fflush (stdout);

  x = foo (x - 4);

  puts ("bar after foo");

  return x;

}