#include <stdio.h>



// A global variable, defined and initialized here in foo.c.

int counter = 1;



int main(int argc, char **argv) {

  printf("(main): pre-bar, counter is %d\n", counter);

  bar();

  printf("(main): post-bar, counter is %d\n", counter);

  return 0;

}