integer wurst_stack_depth578 = 0


function initGlobals103() { 
}


function main786() { 
    initGlobals103();
    testSuccess115();
}


function config130() { 
}


IS_NATIVE function testSuccess115() { 
}