/* Tentatively define a variable, and make sure it's initialized to 0. */
int x;

int read_x(void) {
    return x;
}