#include <stdio.h>


int x = 1;

int f( );


int main( int argc, char *argv[] )
{
   printf("main: x = %d\n", x);

   f();
}