array<integer> CounterImpl_nextFree203
integer CounterImpl_firstFree169
integer CounterImpl_maxIndex752
array<integer> CounterImpl_typeId850
array<integer> CounterImpl_Counter_count119


integer CounterImpl_firstFree169 = 0
integer CounterImpl_maxIndex752 = 0


function initGlobals146() { 
}


function main113() { 
    initGlobals146();
    init_test750();
}


function config133() { 
}


function init_test750() { 
    local integer c212
    c_212 = new_CounterImpl254();
    dispatch_CounterImpl_test_CounterImpl_Counter_incCounter157(c_212);
    dispatch_CounterImpl_test_CounterImpl_Counter_incCounter157(c_212);
    if (dispatch_CounterImpl_test_CounterImpl_Counter_getCounter203(c_212) == 2) {
        testSuccess220();
    } else {
        testFail160("defect in equality if");
    };
}


IS_NATIVE function testSuccess220() { 
}


IS_NATIVE function testFail160(string msg329) { 
}


function CounterImpl_Counter_incCounter199(integer this406) { 
    CounterImpl_Counter_count_119[this_406] = (CounterImpl_Counter_count_119[this_406] + 1);
}


function CounterImpl_Counter_getCounter130(integer this119) returns integer { 
    return CounterImpl_Counter_count_119[this_119];
}


function CounterImpl_init183(integer this235) { 
    CounterImpl_Counter_count_119[this_235] = 0;
    construct_CounterImpl_Counter176(this_235);
}


function construct_CounterImpl_Counter176(integer this879) { 
}


function new_CounterImpl254() returns integer { 
    local integer this138
    this_138 = alloc_CounterImpl200();
    construct_CounterImpl132(this_138);
    return this_138;
}


function construct_CounterImpl132(integer this757) { 
    CounterImpl_init183(this_757);
}


function alloc_CounterImpl200() returns integer { 
    local integer this128
    if (CounterImpl_firstFree_169 == 0) {
        if (CounterImpl_maxIndex_752 < 32768) {
            CounterImpl_maxIndex_752 = (CounterImpl_maxIndex_752 + 1);
            this_128 = CounterImpl_maxIndex_752;
            CounterImpl_typeId_850[this_128] = 1;
        } else {
            error191("Out of memory: Could not create CounterImpl.");
            this_128 = 0;
        };
    } else {
        CounterImpl_firstFree_169 = (CounterImpl_firstFree_169 - 1);
        this_128 = CounterImpl_nextFree_203[CounterImpl_firstFree_169];
        CounterImpl_typeId_850[this_128] = 1;
    };
    return this_128;
}


function error191(string msg192) { 
    $debugPrint188((msg_192 + ("
" + #getStackTrace())));
}


function dispatch_CounterImpl_test_CounterImpl_Counter_incCounter157(integer this648) { 
    if (CounterImpl_typeId_850[this_648] == 0) {
        if (this_648 == 0) {
            error191("Nullpointer exception when calling CounterImpl.incCounter");
        } else {
            error191("Called CounterImpl.incCounter on invalid object.");
        };
    } else {
    };
    CounterImpl_Counter_incCounter199(this_648);
}


function dispatch_CounterImpl_test_CounterImpl_Counter_getCounter203(integer this100) returns integer { 
    if (CounterImpl_typeId_850[this_100] == 0) {
        if (this_100 == 0) {
            error191("Nullpointer exception when calling CounterImpl.getCounter");
        } else {
            error191("Called CounterImpl.getCounter on invalid object.");
        };
    } else {
    };
    return CounterImpl_Counter_getCounter130(this_100);
}