void abort(void);
void exit(int);

int var = 0;

void g() {
    var = 1;
}

void f() {
    int f2 = 0;

    if (f2 == 0)
        ;

    g();
}

int main(void) {
    f();
    if (var != 1)
        abort();
    exit(0);
}
