array<integer> A_a201


array<integer> A_a201 = 1, 2
integer A_firstFree974 = 0
integer A_maxIndex191 = 0


function initGlobals144() { 
}


function main261() { 
    initGlobals144();
    A_a_201[0] = 1;
    A_a_201[1] = 2;
    if ((A_a_201[0] == 1) and (A_a_201[1] == 2)) {
        testSuccess172();
    } else {
    };
}


function config440() { 
}


IS_NATIVE function testSuccess172() { 
}