integer A_firstFree164 = 0
integer A_maxIndex244 = 0
integer B_firstFree130 = 0
integer B_maxIndex128 = 0
integer wurst_stack_depth150 = 0


function initGlobals670() { 
}


function main671() { 
    initGlobals670();
    testSuccess207();
}


function config107() { 
}


IS_NATIVE function testSuccess207() { 
}