#include<stdio.h> extern int x; int main() { printf("x: %d\n", x); } int x = 10;