array<integer> C_xs754


integer C_firstFree104 = 0
integer C_maxIndex897 = 0
integer wurst_stack_depth682 = 0


function initGlobals154() { 
}


function main105() { 
    initGlobals154();
    init_test980();
}


function config210() { 
}


function init_test980() { 
    C_xs_754[7] = 4;
    if (C_xs_754[7] == 4) {
        testSuccess640();
    } else {
    };
}


IS_NATIVE function testSuccess640() { 
}