array<integer> A_a527


array<integer> A_a527 = 1, 2
integer A_firstFree919 = 0
integer A_maxIndex167 = 0


function initGlobals110() { 
}


function main430() { 
    initGlobals110();
    A_a_527[0] = 1;
    A_a_527[1] = 2;
    if ((A_a_527[0] == 1) and (A_a_527[1] == 2)) {
        testSuccess106();
    } else {
    };
}


function config774() { 
}


IS_NATIVE function testSuccess106() { 
}