real vec_plus_return_x180
real vec_plus_return_y952
real vec_plus_return_z269




function initGlobals556() { 
}


function main140() { 
    local real temp_tuple_y658
    local real tuple_temp502
    initGlobals556();
    vec_plus870(1., 2., 3., 4., 5., 6.);
    tuple_temp_502 = vec_plus_return_y_952;
    temp_tuple_y_658 = tuple_temp_502;
    if (temp_tuple_y_658 == 7.) {
        testSuccess432();
    } else {
    };
}


function config112() { 
}


function vec_plus870(real this_x117, real this_y207, real this_z300, real other_x146, real other_y646, real other_z166) returns real { 
    if (this_x_117 > 0.) {
        vec_plus_return_x_180 = (this_x_117 + other_x_146);
        vec_plus_return_y_952 = (this_y_207 + other_y_646);
        vec_plus_return_z_269 = (this_z_300 + other_z_166);
        return vec_plus_return_x_180;
    } else {
        vec_plus_return_x_180 = (this_x_117 + other_x_146);
        vec_plus_return_y_952 = (this_y_207 + other_y_646);
        vec_plus_return_z_269 = (this_z_300 + other_z_166);
        return vec_plus_return_x_180;
    };
}


IS_NATIVE function testSuccess432() { 
}