function initGlobals380() { 
}


function main153() { 
    initGlobals380();
    init_test658();
}


function config174() { 
}


function init_test658() { 
    local real v_x128
    local real v_y325
    local real v_z113
    local real tuple_temp306
    local real tuple_temp199
    local real tuple_temp886
    tuple_temp_306 = 4.;
    tuple_temp_199 = 5.;
    tuple_temp_886 = 6.;
    v_x_128 = tuple_temp_306;
    v_y_325 = tuple_temp_199;
    v_z_113 = tuple_temp_886;
    if (sum139(v_x_128, v_y_325, v_z_113) == 15.) {
        testSuccess282();
    } else {
    };
}


function sum139(real v_x544, real v_y382, real v_z224) returns real { 
    return ((v_x_544 + v_y_382) + v_z_224);
}


IS_NATIVE function testSuccess282() { 
}