function initGlobals557() { 
}


function main733() { 
    local integer x134
    initGlobals557();
    x_134 = 0;
    x_134 = (x_134 + 1);
    x_134 = x_134;
    I2S125(x_134);
    testSuccess166();
}


function config769() { 
}


IS_NATIVE IS_EXTERN @extern function I2S125(integer x897) returns string { 
}


IS_NATIVE function testSuccess166() { 
}