real vec_plus_return_x679
real vec_plus_return_y198




function initGlobals130() { 
}


function main852() { 
    initGlobals130();
    init_test725();
}


function config576() { 
}


function init_test725() { 
    local real tuple_temp183
    vec_plus209(1., 2., 3., 4., 5., 6.);
    tuple_temp_183 = vec_plus_return_y_198;
    if (tuple_temp_183 == 7.) {
        testSuccess853();
    } else {
    };
}


function vec_plus209(real this_x128, real this_y870, real this_z170, real other_x114, real other_y225, real other_z100) returns real { 
    if (this_x_128 > 0.) {
        vec_plus_return_x_679 = (this_x_128 + other_x_114);
        vec_plus_return_y_198 = (this_y_870 + other_y_225);
        return vec_plus_return_x_679;
    } else {
        vec_plus_return_x_679 = (this_x_128 + other_x_114);
        vec_plus_return_y_198 = (this_y_870 + other_y_225);
        return vec_plus_return_x_679;
    };
}


IS_NATIVE function testSuccess853() { 
}