function initGlobals263() { 
}


function main763() { 
    initGlobals263();
    init_test375();
}


function config203() { 
}


function init_test375() { 
    local integer i745
    i_745 = 2;
    int_bla688(i_745);
}


function int_bla688(integer this170) { 
    testSuccess817();
}


IS_NATIVE function testSuccess817() { 
}