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() { }