integer wurst_stack_depth142 = 0


function initGlobals115() { 
}


function main145() { 
    local boolean done270
    initGlobals115();
    done_270 = false;
    loop {
        exitwhen done_270;
        done_270 = true;
    };
    testSuccess834();
}


function config204() { 
}


IS_NATIVE function testSuccess834() { 
}