array<integer> CounterImpl_nextFree147
integer CounterImpl_firstFree902
integer CounterImpl_maxIndex364
array<integer> CounterImpl_typeId115
array<integer> CounterImpl_Counter_count107


integer CounterImpl_firstFree902 = 0
integer CounterImpl_maxIndex364 = 0


function initGlobals175() { 
}


function main143() { 
    initGlobals175();
    init_test158();
}


function config305() { 
}


function init_test158() { 
    local integer c423
    local integer this208
    local integer this508
    local integer this139
    local integer this117
    local integer this179
    local integer test_CounterImpl_Counter_getCounter_result161
    local integer this922
    c_423 = new_CounterImpl201();
    this_208 = c_423;
    if (CounterImpl_typeId_115[this_208] == 0) {
        if (this_208 == 0) {
            error971("Nullpointer exception when calling CounterImpl.incCounter");
        } else {
            error971("Called CounterImpl.incCounter on invalid object.");
        };
    } else {
    };
    this_508 = this_208;
    CounterImpl_Counter_count_107[this_508] = (CounterImpl_Counter_count_107[this_508] + 1);
    this_139 = c_423;
    if (CounterImpl_typeId_115[this_139] == 0) {
        if (this_139 == 0) {
            error971("Nullpointer exception when calling CounterImpl.incCounter");
        } else {
            error971("Called CounterImpl.incCounter on invalid object.");
        };
    } else {
    };
    this_117 = this_139;
    CounterImpl_Counter_count_107[this_117] = (CounterImpl_Counter_count_107[this_117] + 1);
    this_179 = c_423;
    if (CounterImpl_typeId_115[this_179] == 0) {
        if (this_179 == 0) {
            error971("Nullpointer exception when calling CounterImpl.getCounter");
        } else {
            error971("Called CounterImpl.getCounter on invalid object.");
        };
    } else {
    };
    this_922 = this_179;
    test_CounterImpl_Counter_getCounter_result_161 = CounterImpl_Counter_count_107[this_922];
    if (test_CounterImpl_Counter_getCounter_result_161 == 2) {
        testSuccess919();
    } else {
        testFail180("defect in equality if");
    };
}


IS_NATIVE function testSuccess919() { 
}


IS_NATIVE function testFail180(string msg103) { 
}


function new_CounterImpl201() returns integer { 
    local integer this141
    local integer this145
    local integer this116
    local integer this178
    if (CounterImpl_firstFree_902 == 0) {
        if (CounterImpl_maxIndex_364 < 32768) {
            CounterImpl_maxIndex_364 = (CounterImpl_maxIndex_364 + 1);
            this_145 = CounterImpl_maxIndex_364;
            CounterImpl_typeId_115[this_145] = 1;
        } else {
            error971("Out of memory: Could not create CounterImpl.");
            this_145 = 0;
        };
    } else {
        CounterImpl_firstFree_902 = (CounterImpl_firstFree_902 - 1);
        this_145 = CounterImpl_nextFree_147[CounterImpl_firstFree_902];
        CounterImpl_typeId_115[this_145] = 1;
    };
    this_141 = this_145;
    this_116 = this_141;
    this_178 = this_116;
    CounterImpl_Counter_count_107[this_178] = 0;
    return this_141;
}


function error971(string msg126) { 
    $debugPrint135((msg_126 + ("
" + #getStackTrace())));
}