integer Test_x581 = 5
integer Test_config_x871 = 6
integer wurst_stack_depth150 = 0


function initGlobals192() { 
}


function main349() { 
    initGlobals192();
    testSuccess443();
}


function config144() { 
}


IS_NATIVE function testSuccess443() { 
}