function initGlobals725() { 
}


function main163() { 
    initGlobals725();
    init_test976();
}


function config619() { 
}


function init_test976() { 
    local integer i135
    local real x985
    i_135 = 5;
    x_985 = Sin194(5.);
    if (x_985 < 20.) {
        x_985 = (x_985 + 1.);
    } else {
    };
    if (i_135 == 5) {
        testSuccess214();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function Sin194(real r120) returns real { 
}


IS_NATIVE function testSuccess214() { 
}