integer wurst_stack_depth473 = 0


function initGlobals128() { 
}


function main134() { 
    initGlobals128();
    testSuccess766();
}


function config118() { 
}


IS_NATIVE function testSuccess766() { 
}