function initGlobals477() { 
}


function main552() { 
    local integer x155
    local integer y873
    local integer cond_result171
    initGlobals477();
    x_155 = 0;
    if (1 < 3) {
        x_155 = 40;
        cond_result_171 = 2;
    } else {
        x_155 = 60;
        cond_result_171 = 3;
    };
    y_873 = cond_result_171;
    if ((x_155 + y_873) == 42) {
        testSuccess419();
    } else {
    };
}


function config179() { 
}


IS_NATIVE function testSuccess419() { 
}