real a_return_x202
real a_return_y125
real randomPoint_return_x101
real randomPoint_return_y135




function initGlobals106() { 
}


function main141() { 
    initGlobals106();
    init_test139();
}


function config171() { 
}


function init_test139() { 
    a156();
    testSuccess138();
}


function randomPoint895() returns real { 
    randomPoint_return_x_101 = GetRandomReal848(0., 1.);
    randomPoint_return_y_135 = GetRandomReal848(3., 4.);
    return randomPoint_return_x_101;
}


IS_NATIVE IS_EXTERN @extern function GetRandomReal848(real x148, real y843) returns real { 
}


function a156() returns real { 
    a_return_x_202 = randomPoint895();
    a_return_y_125 = randomPoint_return_y_135;
    return a_return_x_202;
}


IS_NATIVE function testSuccess138() { 
}