instrumented code for bar.c