integer test_y_814 = 1
integer wurst_stack_depth381 = 0


function initGlobals567() { 
}


function main171() { 
    initGlobals567();
    testSuccess175();
}


function config912() { 
}


IS_NATIVE function testSuccess175() { 
}