real a_return_v_x787
real a_return_v_y735
real a_return_r198
real randomPoint_return_x480
real randomPoint_return_y644




function initGlobals101() { 
}


function main175() { 
    initGlobals101();
    init_test591();
}


function config162() { 
}


function init_test591() { 
    a104();
    testSuccess150();
}


function randomPoint748() returns real { 
    randomPoint_return_x_480 = GetRandomReal727(0., 1.);
    randomPoint_return_y_644 = GetRandomReal727(3., 4.);
    return randomPoint_return_x_480;
}


IS_NATIVE IS_EXTERN @extern function GetRandomReal727(real x199, real y801) returns real { 
}


function a104() returns real { 
    a_return_v_x_787 = randomPoint748();
    a_return_v_y_735 = randomPoint_return_y_644;
    a_return_r_198 = 1.;
    return a_return_v_x_787;
}


IS_NATIVE function testSuccess150() { 
}