array<integer> C_xs131


integer C_firstFree814 = 0
integer C_maxIndex938 = 0


function initGlobals118() { 
}


function main210() { 
    initGlobals118();
    init_test260();
}


function config175() { 
}


function init_test260() { 
    C_xs_131[7] = 4;
    if (C_xs_131[7] == 4) {
        testSuccess708();
    } else {
    };
}


IS_NATIVE function testSuccess708() { 
}