array<integer> A_a428


array<integer> A_a428 = 1, 2
integer A_firstFree206 = 0
integer A_maxIndex210 = 0


function initGlobals967() { 
}


function main147() { 
    initGlobals967();
    init_test171();
}


function config214() { 
}


function init_test171() { 
    A_a_428[0] = 1;
    A_a_428[1] = 2;
    if ((A_a_428[0] == 1) and (A_a_428[1] == 2)) {
        testSuccess191();
    } else {
    };
}


IS_NATIVE function testSuccess191() { 
}