function initGlobals875() { 
}


function main571() { 
    local integer x141
    initGlobals875();
    x_141 = 0;
    x_141 = (x_141 + 1);
    x_141 = x_141;
    I2S181(x_141);
    testSuccess152();
}


function config259() { 
}


IS_NATIVE IS_EXTERN @extern function I2S181(integer x104) returns string { 
}


IS_NATIVE function testSuccess152() { 
}