real vec_plus_return_x738
real vec_plus_return_y423
real vec_plus_return_z116




function initGlobals124() { 
}


function main193() { 
    initGlobals124();
    init_test393();
}


function config173() { 
}


function init_test393() { 
    local real v_x320
    local real v_y208
    local real v_z985
    local real tuple_temp133
    local real tuple_temp378
    local real tuple_temp149
    tuple_temp_133 = vec_plus125(1., 2., 3., 4., 5., 6.);
    tuple_temp_378 = vec_plus_return_y_423;
    tuple_temp_149 = vec_plus_return_z_116;
    v_x_320 = tuple_temp_133;
    v_y_208 = tuple_temp_378;
    v_z_985 = tuple_temp_149;
    if (((v_x_320 == 5.) and (v_y_208 == 7.)) and (v_z_985 == 9.)) {
        testSuccess198();
    } else {
    };
}


function vec_plus125(real this_x594, real this_y137, real this_z131, real other_x291, real other_y206, real other_z105) returns real { 
    vec_plus_return_x_738 = (this_x_594 + other_x_291);
    vec_plus_return_y_423 = (this_y_137 + other_y_206);
    vec_plus_return_z_116 = (this_z_131 + other_z_105);
    return vec_plus_return_x_738;
}


IS_NATIVE function testSuccess198() { 
}