extern void printInt(int val);

export int main() {
    int a;
    int b;
    a = a + 1;  // inc_1
    a = a - 1;  // dec_1
    a = a + 2;  // inc C
    a = a - 2;  // dec C
    b = a + 1;  // NOT inc because not stored in a

    if (true)   // branch is removed
        a = 2;

    if (false)  // branch is replaced by jump
        a = 3;

    return 0;
}