real blub_return_x918
real blub_return_y197
real blub_return_z882




function initGlobals135() { 
}


function main671() { 
    initGlobals135();
    init_test153();
}


function config616() { 
}


function init_test153() { 
    local real v_x863
    local real v_y293
    local real v_z132
    local real tuple_temp873
    local real tuple_temp192
    local real tuple_temp937
    tuple_temp_873 = blub205(4., 5.);
    tuple_temp_192 = blub_return_y_197;
    tuple_temp_937 = blub_return_z_882;
    v_x_863 = tuple_temp_873;
    v_y_293 = tuple_temp_192;
    v_z_132 = tuple_temp_937;
    if (((v_x_863 == 4.) and (v_y_293 == 5.)) and (v_z_132 == 0.)) {
        testSuccess153();
    } else {
    };
}


function blub205(real x211, real y123) returns real { 
    blub_return_x_918 = x_211;
    blub_return_y_197 = y_123;
    blub_return_z_882 = 0.;
    return blub_return_x_918;
}


IS_NATIVE function testSuccess153() { 
}