#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; }