#include<stdio.h>
int value = 234;

void f() {
  printf("value = %d\n",value);
}