array<integer> test_testArray169
integer test_numExecutions212


integer test_numExecutions212 = 0


function initGlobals155() { 
}


function main880() { 
    local integer tmp134
    local integer index_temp_10_15146
    initGlobals155();
    tmp_134 = 17;
    test_numExecutions_212 = (test_numExecutions_212 + 1);
    index_temp_10_15_146 = (2 + tmp_134);
    test_testArray_169[index_temp_10_15_146] = (test_testArray_169[index_temp_10_15_146] + 1);
    if (test_numExecutions_212 == 1) {
        testSuccess493();
    } else {
    };
}


function config120() { 
}


IS_NATIVE function testSuccess493() { 
}