#include int value; void main(void) { printf("%d\n", value); }