integer wurst_stack_depth234 = 0


function initGlobals158() { 
}


function main742() { 
    initGlobals158();
    init_test717();
}


function config206() { 
}


function init_test717() { 
    testSuccess409();
}


IS_NATIVE function testSuccess409() { 
}