function initGlobals702() { 
}


function main159() { 
    initGlobals702();
    init_test777();
}


function config674() { 
}


function init_test777() { 
    print812(1);
    print812(2);
    print812(3);
    print812(4);
    print812(5);
    print812(6);
    print812(7);
    print812(8);
    print812(9);
    testSuccess502();
}


function print812(integer x249) { 
    println180(I2S107(x_249));
}


IS_NATIVE IS_EXTERN @extern function I2S107(integer x176) returns string { 
}


IS_NATIVE function println180(string s665) { 
}


IS_NATIVE function testSuccess502() { 
}