function initGlobals127() { 
}


function main202() { 
    initGlobals127();
    init_test171();
}


function config237() { 
}


function init_test171() { 
    local real v_x180
    local real v_y184
    local real v_z171
    local real this_x438
    local real this_y205
    local real this_z165
    local real other_x747
    local real other_y153
    local real other_z165
    local real tuple_temp187
    local real tuple_temp795
    local real tuple_temp179
    local real tuple_temp342
    local real tuple_temp157
    local real tuple_temp705
    local real tuple_temp212
    local real tuple_temp107
    local real tuple_temp602
    tuple_temp_187 = 1.;
    tuple_temp_795 = 2.;
    tuple_temp_179 = 3.;
    this_x_438 = tuple_temp_187;
    this_y_205 = tuple_temp_795;
    this_z_165 = tuple_temp_179;
    tuple_temp_342 = 4.;
    tuple_temp_157 = 5.;
    tuple_temp_705 = 6.;
    other_x_747 = tuple_temp_342;
    other_y_153 = tuple_temp_157;
    other_z_165 = tuple_temp_705;
    tuple_temp_212 = (this_x_438 + other_x_747);
    tuple_temp_107 = (this_y_205 + other_y_153);
    tuple_temp_602 = (this_z_165 + other_z_165);
    v_x_180 = tuple_temp_212;
    v_y_184 = tuple_temp_107;
    v_z_171 = tuple_temp_602;
    if (((v_x_180 == 5.) and (v_y_184 == 7.)) and (v_z_171 == 9.)) {
        testSuccess607();
    } else {
    };
}


IS_NATIVE function testSuccess607() { 
}