real vec_plus_return_x155
real vec_plus_return_y912
real vec_plus_return_z158




function initGlobals176() { 
}


function main128() { 
    initGlobals176();
    init_test124();
}


function config929() { 
}


function init_test124() { 
    local real tuple_temp117
    local real tuple_temp286
    local real tuple_temp119
    tuple_temp_117 = vec_plus141(1., 2., 3., 4., 5., 6.);
    tuple_temp_286 = vec_plus_return_y_912;
    tuple_temp_119 = vec_plus_return_z_158;
    if (((tuple_temp_117 == 5.) and (tuple_temp_286 == 7.)) and (tuple_temp_119 == 9.)) {
        testSuccess203();
    } else {
    };
}


function vec_plus141(real this_x389, real this_y116, real this_z158, real other_x523, real other_y284, real other_z472) returns real { 
    vec_plus_return_x_155 = (this_x_389 + other_x_523);
    vec_plus_return_y_912 = (this_y_116 + other_y_284);
    vec_plus_return_z_158 = (this_z_158 + other_z_472);
    return vec_plus_return_x_155;
}


IS_NATIVE function testSuccess203() { 
}