integer wurst_stack_depth856 = 0


function initGlobals939() { 
}


function main587() { 
    local boolean done143
    initGlobals939();
    done_143 = false;
    loop {
        exitwhen done_143;
        done_143 = true;
    };
    testSuccess136();
}


function config141() { 
}


IS_NATIVE function testSuccess136() { 
}