function initGlobals871() { 
}


function main174() { 
    initGlobals871();
    init_test207();
}


function config984() { 
}


function init_test207() { 
    local real v_x175
    local real v_y115
    local real v_z136
    local real tuple_temp193
    local real tuple_temp141
    local real tuple_temp438
    tuple_temp_193 = 4.;
    tuple_temp_141 = 5.;
    tuple_temp_438 = 6.;
    v_x_175 = tuple_temp_193;
    v_y_115 = tuple_temp_141;
    v_z_136 = tuple_temp_438;
    if (sum925(v_x_175, v_y_115, v_z_136) == 15.) {
        testSuccess592();
    } else {
    };
}


function sum925(real v_x103, real v_y124, real v_z162) returns real { 
    return ((v_x_103 + v_y_124) + v_z_162);
}


IS_NATIVE function testSuccess592() { 
}