function initGlobals142() { 
}


function main658() { 
    local real r550
    local real cond_result186
    initGlobals142();
    if (1 < 3) {
        cond_result_186 = 123.;
    } else {
        cond_result_186 = 456.;
    };
    r_550 = cond_result_186;
    if (r_550 == 123.0) {
        testSuccess482();
    } else {
    };
}


function config115() { 
}


IS_NATIVE function testSuccess482() { 
}