function initGlobals131() { 
}


function main111() { 
    local real v_x407
    local real v_y176
    local real v_z499
    local real v_x169
    local real v_y205
    local real v_z157
    local real tuple_temp205
    local real tuple_temp346
    local real tuple_temp122
    local real tuple_temp573
    local real tuple_temp982
    local real tuple_temp175
    initGlobals131();
    tuple_temp_205 = 4.;
    tuple_temp_346 = 5.;
    tuple_temp_122 = 6.;
    v_x_407 = tuple_temp_205;
    v_y_176 = tuple_temp_346;
    v_z_499 = tuple_temp_122;
    tuple_temp_573 = v_x_407;
    tuple_temp_982 = v_y_176;
    tuple_temp_175 = v_z_499;
    v_x_169 = tuple_temp_573;
    v_y_205 = tuple_temp_982;
    v_z_157 = tuple_temp_175;
    if (((v_x_169 + v_y_205) + v_z_157) == 15.) {
        testSuccess192();
    } else {
    };
}


function config441() { 
}


IS_NATIVE function testSuccess192() { 
}