test.mcc

int a () {
    int b;
    b = 3;

    return b;
}

int main() {
    int a;
    int b;

    int max;

    a = (1 + 1);
    b = a();

    if (a < b) {
        max = b;
    } else {
        max = a;
    }

    while (a < b) {
        a = a + 1;
    }

    return 0;
}