integer C_i132 = 3
integer C_firstFree331 = 0
integer C_maxIndex163 = 0


function initGlobals150() { 
}


function main152() { 
    initGlobals150();
    testSuccess769();
}


function config285() { 
}


IS_NATIVE function testSuccess769() { 
}