integer wurst_stack_depth503 = 0


function initGlobals854() { 
}


function main134() { 
    initGlobals854();
    testSuccess488();
}


function config446() { 
}


IS_NATIVE function testSuccess488() { 
}