array<integer> C_xs543


integer C_firstFree195 = 0
integer C_maxIndex142 = 0
integer wurst_stack_depth103 = 0


function initGlobals105() { 
}


function main205() { 
    initGlobals105();
    init_test121();
}


function config197() { 
}


function init_test121() { 
    C_xs_543[7] = 4;
    if (C_xs_543[7] == 4) {
        testSuccess199();
    } else {
    };
}


IS_NATIVE function testSuccess199() { 
}