function initGlobals167() { 
}


function main117() { 
    local real v_x201
    local real v_y193
    local real v_z879
    local real v_x126
    local real v_y208
    local real v_z211
    local real tuple_temp157
    local real tuple_temp306
    local real tuple_temp182
    local real tuple_temp186
    local real tuple_temp168
    local real tuple_temp825
    initGlobals167();
    tuple_temp_157 = 4.;
    tuple_temp_306 = 5.;
    tuple_temp_182 = 6.;
    v_x_201 = tuple_temp_157;
    v_y_193 = tuple_temp_306;
    v_z_879 = tuple_temp_182;
    tuple_temp_186 = v_x_201;
    tuple_temp_168 = v_y_193;
    tuple_temp_825 = v_z_879;
    v_x_126 = tuple_temp_186;
    v_y_208 = tuple_temp_168;
    v_z_211 = tuple_temp_825;
    if (((v_x_126 + v_y_208) + v_z_211) == 15.) {
        testSuccess100();
    } else {
    };
}


function config104() { 
}


IS_NATIVE function testSuccess100() { 
}