real vec_plus_return_x212
real vec_plus_return_y763
real vec_plus_return_z179




function initGlobals103() { 
}


function main147() { 
    initGlobals103();
    init_test212();
}


function config125() { 
}


function init_test212() { 
    local real temp_tuple_y155
    local real tuple_temp118
    vec_plus195(1., 2., 3., 4., 5., 6.);
    tuple_temp_118 = vec_plus_return_y_763;
    temp_tuple_y_155 = tuple_temp_118;
    if (temp_tuple_y_155 == 7.) {
        testSuccess151();
    } else {
    };
}


function vec_plus195(real this_x700, real this_y202, real this_z145, real other_x960, real other_y129, real other_z409) returns real { 
    if (this_x_700 > 0.) {
        vec_plus_return_x_212 = (this_x_700 + other_x_960);
        vec_plus_return_y_763 = (this_y_202 + other_y_129);
        vec_plus_return_z_179 = (this_z_145 + other_z_409);
        return vec_plus_return_x_212;
    } else {
        vec_plus_return_x_212 = (this_x_700 + other_x_960);
        vec_plus_return_y_763 = (this_y_202 + other_y_129);
        vec_plus_return_z_179 = (this_z_145 + other_z_409);
        return vec_plus_return_x_212;
    };
}


IS_NATIVE function testSuccess151() { 
}