function initGlobals158() { 
}


function main904() { 
    local real r618
    local real cond_result952
    initGlobals158();
    if (1 < 3) {
        cond_result_952 = 123.;
    } else {
        cond_result_952 = 456.;
    };
    r_618 = cond_result_952;
    if (r_618 == 123.0) {
        testSuccess130();
    } else {
    };
}


function config128() { 
}


IS_NATIVE function testSuccess130() { 
}