integer B_x397 = 5
integer A_firstFree426 = 0
integer A_maxIndex159 = 0
integer B_firstFree152 = 0
integer B_maxIndex111 = 0
integer wurst_stack_depth133 = 0


function initGlobals981() { 
}


function main205() { 
    initGlobals981();
    testSuccess731();
}


function config654() { 
}


IS_NATIVE function testSuccess731() { 
}