// "./cfa-cpp -c rodolfo2.c"

extern "C" {
    #include <assert.h>
}

int a = 7;

void f() {
    int b;
    b = a;
    int a = 8;
    assert( b == 7 );
}