function initGlobals537() { 
}


function main130() { 
    local integer x118
    local integer y207
    local integer cond_result114
    initGlobals537();
    x_118 = 0;
    if (1 < 3) {
        x_118 = 40;
        cond_result_114 = 2;
    } else {
        x_118 = 60;
        cond_result_114 = 3;
    };
    y_207 = cond_result_114;
    if ((x_118 + y_207) == 42) {
        testSuccess137();
    } else {
    };
}


function config755() { 
}


IS_NATIVE function testSuccess137() { 
}