How do I share a variable between source files in C? With `extern`, but how?