#include <stdio.h>

int x = 1;

int f( )
{
   printf("f: x = %d\n", x);
}