real vec_plus_return_x161
real vec_plus_return_y175
real vec_plus_return_z183




function initGlobals195() { 
}


function main203() { 
    initGlobals195();
    init_test152();
}


function config131() { 
}


function init_test152() { 
    local real tuple_temp164
    local real tuple_temp112
    local real tuple_temp211
    tuple_temp_164 = vec_plus206(1., 2., 3., 4., 5., 6.);
    tuple_temp_112 = vec_plus_return_y_175;
    tuple_temp_211 = vec_plus_return_z_183;
    if (((tuple_temp_164 == 5.) and (tuple_temp_112 == 7.)) and (tuple_temp_211 == 9.)) {
        testSuccess175();
    } else {
    };
}


function vec_plus206(real this_x408, real this_y584, real this_z107, real other_x360, real other_y194, real other_z200) returns real { 
    vec_plus_return_x_161 = (this_x_408 + other_x_360);
    vec_plus_return_y_175 = (this_y_584 + other_y_194);
    vec_plus_return_z_183 = (this_z_107 + other_z_200);
    return vec_plus_return_x_161;
}


IS_NATIVE function testSuccess175() { 
}