integer wurst_stack_depth632 = 0


function initGlobals751() { 
}


function main137() { 
    initGlobals751();
    testSuccess158();
}


function config103() { 
}


IS_NATIVE function testSuccess158() { 
}