array<integer> CounterImpl_nextFree197
integer CounterImpl_firstFree995
integer CounterImpl_maxIndex730
array<integer> CounterImpl_typeId179
array<integer> CounterImpl_Counter_count144


integer CounterImpl_firstFree995 = 0
integer CounterImpl_maxIndex730 = 0


function initGlobals117() { 
}


function main113() { 
    initGlobals117();
    init_test699();
}


function config430() { 
}


function init_test699() { 
    local integer c177
    local integer this825
    local integer this132
    local integer this993
    local integer this138
    local integer this209
    local integer test_CounterImpl_Counter_getCounter_result435
    local integer this199
    c_177 = new_CounterImpl983();
    this_825 = c_177;
    if (CounterImpl_typeId_179[this_825] == 0) {
        if (this_825 == 0) {
            error116("Nullpointer exception when calling CounterImpl.incCounter");
        } else {
            error116("Called CounterImpl.incCounter on invalid object.");
        };
    } else {
    };
    this_132 = this_825;
    CounterImpl_Counter_count_144[this_132] = (CounterImpl_Counter_count_144[this_132] + 1);
    this_993 = c_177;
    if (CounterImpl_typeId_179[this_993] == 0) {
        if (this_993 == 0) {
            error116("Nullpointer exception when calling CounterImpl.incCounter");
        } else {
            error116("Called CounterImpl.incCounter on invalid object.");
        };
    } else {
    };
    this_138 = this_993;
    CounterImpl_Counter_count_144[this_138] = (CounterImpl_Counter_count_144[this_138] + 1);
    this_209 = c_177;
    if (CounterImpl_typeId_179[this_209] == 0) {
        if (this_209 == 0) {
            error116("Nullpointer exception when calling CounterImpl.getCounter");
        } else {
            error116("Called CounterImpl.getCounter on invalid object.");
        };
    } else {
    };
    this_199 = this_209;
    test_CounterImpl_Counter_getCounter_result_435 = CounterImpl_Counter_count_144[this_199];
    if (test_CounterImpl_Counter_getCounter_result_435 == 2) {
        testSuccess186();
    } else {
        testFail134("defect in equality if");
    };
}


IS_NATIVE function testSuccess186() { 
}


IS_NATIVE function testFail134(string msg250) { 
}


function new_CounterImpl983() returns integer { 
    local integer this531
    local integer this205
    local integer this175
    local integer this101
    if (CounterImpl_firstFree_995 == 0) {
        if (CounterImpl_maxIndex_730 < 32768) {
            CounterImpl_maxIndex_730 = (CounterImpl_maxIndex_730 + 1);
            this_205 = CounterImpl_maxIndex_730;
            CounterImpl_typeId_179[this_205] = 1;
        } else {
            error116("Out of memory: Could not create CounterImpl.");
            this_205 = 0;
        };
    } else {
        CounterImpl_firstFree_995 = (CounterImpl_firstFree_995 - 1);
        this_205 = CounterImpl_nextFree_197[CounterImpl_firstFree_995];
        CounterImpl_typeId_179[this_205] = 1;
    };
    this_531 = this_205;
    this_175 = this_531;
    this_101 = this_175;
    CounterImpl_Counter_count_144[this_101] = 0;
    return this_531;
}


function error116(string msg124) { 
    $debugPrint555((msg_124 + ("
" + #getStackTrace())));
}