#include <stdio.h>

int a = 0, b = 3;

void foo (void)
{
  b++;
  static int a = 5;
  int b = 7;
  printf ("foo(): a = %d, b = %d\n", a, b);
  a++;
}

int main (void)
{
  printf ("main(): a = %d, b = %d\n", a, b);
  foo ();
  printf ("main(): a = %d, b = %d\n", a, b);
  a = b = 12;
  printf ("main(): a = %d, b = %d\n", a, b);
/*
  foo ();
  printf ("main(): a = %d, b = %d\n", a, b);
*/
  return 0;
}