real vec3_op_plus_return_x222
real vec3_op_plus_return_y595
real vec3_op_plus_return_z131




function initGlobals303() { 
}


function main131() { 
    initGlobals303();
    init_test200();
}


function config144() { 
}


function init_test200() { 
    local real v1_x179
    local real v1_y398
    local real v1_z786
    local real v2_x867
    local real v2_y122
    local real v2_z212
    local real v3_x115
    local real tuple_temp150
    local real tuple_temp202
    local real tuple_temp154
    local real tuple_temp198
    local real tuple_temp104
    local real tuple_temp454
    local real tuple_temp935
    tuple_temp_150 = 1.;
    tuple_temp_202 = 1.;
    tuple_temp_154 = 1.;
    v1_x_179 = tuple_temp_150;
    v1_y_398 = tuple_temp_202;
    v1_z_786 = tuple_temp_154;
    tuple_temp_198 = 1.;
    tuple_temp_104 = 1.;
    tuple_temp_454 = 1.;
    v2_x_867 = tuple_temp_198;
    v2_y_122 = tuple_temp_104;
    v2_z_212 = tuple_temp_454;
    tuple_temp_935 = vec3_op_plus130(v1_x_179, v1_y_398, v1_z_786, v2_x_867, v2_y_122, v2_z_212);
    v3_x_115 = tuple_temp_935;
    if (v3_x_115 == 2.) {
        testSuccess967();
    } else {
    };
}


function vec3_op_plus130(real this_x510, real this_y142, real this_z195, real v_x104, real v_y116, real v_z474) returns real { 
    vec3_op_plus_return_x_222 = (this_x_510 + v_x_104);
    vec3_op_plus_return_y_595 = (this_y_142 + v_y_116);
    vec3_op_plus_return_z_131 = (this_z_195 + v_z_474);
    return vec3_op_plus_return_x_222;
}


IS_NATIVE function testSuccess967() { 
}