real vec_plus_return_x182
real vec_plus_return_y769
real vec_plus_return_z809




function initGlobals145() { 
}


function main193() { 
    initGlobals145();
    init_test914();
}


function config321() { 
}


function init_test914() { 
    local real v_x134
    local real v_y157
    local real v_z261
    local real tuple_temp452
    local real tuple_temp475
    local real tuple_temp103
    tuple_temp_452 = vec_plus118(1., 2., 3., 4., 5., 6.);
    tuple_temp_475 = vec_plus_return_y_769;
    tuple_temp_103 = vec_plus_return_z_809;
    v_x_134 = tuple_temp_452;
    v_y_157 = tuple_temp_475;
    v_z_261 = tuple_temp_103;
    if (((v_x_134 == 5.) and (v_y_157 == 7.)) and (v_z_261 == 9.)) {
        testSuccess206();
    } else {
    };
}


function vec_plus118(real this_x208, real this_y160, real this_z894, real other_x372, real other_y299, real other_z162) returns real { 
    vec_plus_return_x_182 = (this_x_208 + other_x_372);
    vec_plus_return_y_769 = (this_y_160 + other_y_299);
    vec_plus_return_z_809 = (this_z_894 + other_z_162);
    return vec_plus_return_x_182;
}


IS_NATIVE function testSuccess206() { 
}