/*
 * This variable is visible in another file (e.g., extern.c) if and only if not
 * declared with a `static' keyword.  This is more like Java's `private' than
 * `static.'
 */
static int x = 23;