array<integer> CounterImpl_nextFree743
integer CounterImpl_firstFree467
integer CounterImpl_maxIndex135
array<integer> CounterImpl_typeId192
array<integer> CounterImpl_Counter_count964


integer CounterImpl_firstFree467 = 0
integer CounterImpl_maxIndex135 = 0


function initGlobals149() { 
}


function main252() { 
    initGlobals149();
    init_test131();
}


function config179() { 
}


function init_test131() { 
    local integer c178
    c_178 = new_CounterImpl129();
    if (CounterImpl_typeId_192[c_178] == 0) {
        if (c_178 == 0) {
            error576("Nullpointer exception when calling CounterImpl.incCounter");
        } else {
            error576("Called CounterImpl.incCounter on invalid object.");
        };
    } else {
    };
    CounterImpl_Counter_count_964[c_178] = (CounterImpl_Counter_count_964[c_178] + 1);
    if (CounterImpl_typeId_192[c_178] == 0) {
        if (c_178 == 0) {
            error576("Nullpointer exception when calling CounterImpl.incCounter");
        } else {
            error576("Called CounterImpl.incCounter on invalid object.");
        };
    } else {
    };
    CounterImpl_Counter_count_964[c_178] = (CounterImpl_Counter_count_964[c_178] + 1);
    if (CounterImpl_typeId_192[c_178] == 0) {
        if (c_178 == 0) {
            error576("Nullpointer exception when calling CounterImpl.getCounter");
        } else {
            error576("Called CounterImpl.getCounter on invalid object.");
        };
    } else {
    };
    if (CounterImpl_Counter_count_964[c_178] == 2) {
        testSuccess205();
    } else {
        testFail402("defect in equality if");
    };
}


IS_NATIVE function testSuccess205() { 
}


IS_NATIVE function testFail402(string msg118) { 
}


function new_CounterImpl129() returns integer { 
    local integer this970
    if (CounterImpl_firstFree_467 == 0) {
        if (CounterImpl_maxIndex_135 < 32768) {
            CounterImpl_maxIndex_135 = (CounterImpl_maxIndex_135 + 1);
            this_970 = CounterImpl_maxIndex_135;
            CounterImpl_typeId_192[this_970] = 1;
        } else {
            error576("Out of memory: Could not create CounterImpl.");
            this_970 = 0;
        };
    } else {
        CounterImpl_firstFree_467 = (CounterImpl_firstFree_467 - 1);
        this_970 = CounterImpl_nextFree_743[CounterImpl_firstFree_467];
        CounterImpl_typeId_192[this_970] = 1;
    };
    CounterImpl_Counter_count_964[this_970] = 0;
    return this_970;
}


function error576(string msg105) { 
    $debugPrint572((msg_105 + ("
" + #getStackTrace())));
}