integer x306 = 1
integer wurst_stack_depth648 = 0


function initGlobals213() { 
}


function main202() { 
    initGlobals213();
    testSuccess205();
}


function config149() { 
}


IS_NATIVE function testSuccess205() { 
}