integer C_i542


integer C_i542 = 3
integer C_firstFree183 = 0
integer C_maxIndex195 = 0


function initGlobals136() { 
}


function main136() { 
    initGlobals136();
    init_test782();
}


function config275() { 
}


function init_test782() { 
    C_i_542 = 3;
    C_i_542 = (C_i_542 + 1);
    if (C_i_542 == 4) {
        testSuccess145();
    } else {
    };
}


IS_NATIVE function testSuccess145() { 
}