function initGlobals780() { } function main104() { local integer i115 local real x625 initGlobals780(); i_115 = 5; x_625 = Sin104(5.); if (x_625 < 20.) { x_625 = (x_625 + 1.); } else { }; if (i_115 == 5) { testSuccess190(); } else { }; } function config943() { } IS_NATIVE IS_EXTERN @extern function Sin104(real r164) returns real { } IS_NATIVE function testSuccess190() { }