function initGlobals132() { 
}


function main169() { 
    local real v_x177
    local real v_y210
    local real v_z339
    local real v_x135
    local real v_y175
    local real v_z560
    local real tuple_temp145
    local real tuple_temp974
    local real tuple_temp482
    local real tuple_temp726
    local real tuple_temp141
    local real tuple_temp950
    initGlobals132();
    tuple_temp_145 = 4.;
    tuple_temp_974 = 5.;
    tuple_temp_482 = 6.;
    v_x_177 = tuple_temp_145;
    v_y_210 = tuple_temp_974;
    v_z_339 = tuple_temp_482;
    tuple_temp_726 = v_x_177;
    tuple_temp_141 = v_y_210;
    tuple_temp_950 = v_z_339;
    v_x_135 = tuple_temp_726;
    v_y_175 = tuple_temp_141;
    v_z_560 = tuple_temp_950;
    if (((v_x_135 + v_y_175) + v_z_560) == 15.) {
        testSuccess112();
    } else {
    };
}


function config145() { 
}


IS_NATIVE function testSuccess112() { 
}