function initGlobals144() { 
}


function main956() { 
    initGlobals144();
    init_test196();
}


function config153() { 
}


function init_test196() { 
    local real v_x632
    local real v_y740
    local real v_z131
    local real tuple_temp960
    local real tuple_temp112
    local real tuple_temp235
    tuple_temp_960 = 4.;
    tuple_temp_112 = 5.;
    tuple_temp_235 = 6.;
    v_x_632 = tuple_temp_960;
    v_y_740 = tuple_temp_112;
    v_z_131 = tuple_temp_235;
    if (sum920(v_x_632, v_y_740, v_z_131) == 15.) {
        testSuccess813();
    } else {
    };
}


function sum920(real v_x497, real v_y196, real v_z903) returns real { 
    return ((v_x_497 + v_y_196) + v_z_903);
}


IS_NATIVE function testSuccess813() { 
}