#include <stdio.h>

void f();

int x = 114514;

int main() {
  f();
  printf("x = %d", x);
  return 0;
}