array<integer> A_a937


array<integer> A_a937 = 1, 2
integer A_firstFree535 = 0
integer A_maxIndex203 = 0


function initGlobals644() { 
}


function main943() { 
    initGlobals644();
    A_a_937[0] = 1;
    A_a_937[1] = 2;
    if ((A_a_937[0] == 1) and (A_a_937[1] == 2)) {
        testSuccess121();
    } else {
    };
}


function config980() { 
}


IS_NATIVE function testSuccess121() { 
}