integer C_i102 = 3
integer C_firstFree153 = 0
integer C_maxIndex128 = 0
integer wurst_stack_depth212 = 0


function initGlobals141() { 
}


function main791() { 
    initGlobals141();
    testSuccess260();
}


function config775() { 
}


IS_NATIVE function testSuccess260() { 
}