integer x824 = 1
integer wurst_stack_depth542 = 0


function initGlobals141() { 
}


function main273() { 
    initGlobals141();
    testSuccess859();
}


function config534() { 
}


IS_NATIVE function testSuccess859() { 
}