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