array<integer> CounterImpl_nextFree191
integer CounterImpl_firstFree271
integer CounterImpl_maxIndex271
array<integer> CounterImpl_typeId476
array<integer> CounterImpl_Counter_count105


integer CounterImpl_firstFree271 = 0
integer CounterImpl_maxIndex271 = 0


function initGlobals137() { 
}


function main169() { 
    initGlobals137();
    init_test488();
}


function config665() { 
}


function init_test488() { 
    local integer c569
    local integer this180
    local integer this185
    local integer this209
    local integer this537
    local integer this183
    local integer test_CounterImpl_Counter_getCounter_result198
    local integer this189
    c_569 = new_CounterImpl947();
    this_180 = c_569;
    if (CounterImpl_typeId_476[this_180] == 0) {
        if (this_180 == 0) {
            error375("Nullpointer exception when calling CounterImpl.incCounter");
        } else {
            error375("Called CounterImpl.incCounter on invalid object.");
        };
    } else {
    };
    this_185 = this_180;
    CounterImpl_Counter_count_105[this_185] = (CounterImpl_Counter_count_105[this_185] + 1);
    this_209 = c_569;
    if (CounterImpl_typeId_476[this_209] == 0) {
        if (this_209 == 0) {
            error375("Nullpointer exception when calling CounterImpl.incCounter");
        } else {
            error375("Called CounterImpl.incCounter on invalid object.");
        };
    } else {
    };
    this_537 = this_209;
    CounterImpl_Counter_count_105[this_537] = (CounterImpl_Counter_count_105[this_537] + 1);
    this_183 = c_569;
    if (CounterImpl_typeId_476[this_183] == 0) {
        if (this_183 == 0) {
            error375("Nullpointer exception when calling CounterImpl.getCounter");
        } else {
            error375("Called CounterImpl.getCounter on invalid object.");
        };
    } else {
    };
    this_189 = this_183;
    test_CounterImpl_Counter_getCounter_result_198 = CounterImpl_Counter_count_105[this_189];
    if (test_CounterImpl_Counter_getCounter_result_198 == 2) {
        testSuccess967();
    } else {
        testFail192("defect in equality if");
    };
}


IS_NATIVE function testSuccess967() { 
}


IS_NATIVE function testFail192(string msg121) { 
}


function new_CounterImpl947() returns integer { 
    local integer this206
    local integer this192
    local integer this106
    local integer this647
    if (CounterImpl_firstFree_271 == 0) {
        if (CounterImpl_maxIndex_271 < 32768) {
            CounterImpl_maxIndex_271 = (CounterImpl_maxIndex_271 + 1);
            this_192 = CounterImpl_maxIndex_271;
            CounterImpl_typeId_476[this_192] = 1;
        } else {
            error375("Out of memory: Could not create CounterImpl.");
            this_192 = 0;
        };
    } else {
        CounterImpl_firstFree_271 = (CounterImpl_firstFree_271 - 1);
        this_192 = CounterImpl_nextFree_191[CounterImpl_firstFree_271];
        CounterImpl_typeId_476[this_192] = 1;
    };
    this_206 = this_192;
    this_106 = this_206;
    this_647 = this_106;
    CounterImpl_Counter_count_105[this_647] = 0;
    return this_206;
}


function error375(string msg487) { 
    $debugPrint131((msg_487 + ("
" + #getStackTrace())));
}