real vec_plus_return_x833
real vec_plus_return_y128




function initGlobals214() { 
}


function main596() { 
    local real tuple_temp546
    initGlobals214();
    vec_plus196(1., 2., 3., 4., 5., 6.);
    tuple_temp_546 = vec_plus_return_y_128;
    if (tuple_temp_546 == 7.) {
        testSuccess123();
    } else {
    };
}


function config758() { 
}


function vec_plus196(real this_x700, real this_y114, real this_z210, real other_x193, real other_y903, real other_z210) returns real { 
    if (this_x_700 > 0.) {
        vec_plus_return_x_833 = (this_x_700 + other_x_193);
        vec_plus_return_y_128 = (this_y_114 + other_y_903);
        return vec_plus_return_x_833;
    } else {
        vec_plus_return_x_833 = (this_x_700 + other_x_193);
        vec_plus_return_y_128 = (this_y_114 + other_y_903);
        return vec_plus_return_x_833;
    };
}


IS_NATIVE function testSuccess123() { 
}