array<integer> CounterImpl_nextFree145
integer CounterImpl_firstFree149
integer CounterImpl_maxIndex348
array<integer> CounterImpl_typeId910
array<integer> CounterImpl_Counter_count163
integer wurst_stack_depth151
array<string> wurst_stack681


integer CounterImpl_firstFree149 = 0
integer CounterImpl_maxIndex348 = 0
integer wurst_stack_depth151 = 0


function initGlobals384() { 
}


function main198() { 
    initGlobals384();
    init_test845("when calling init_test in simple.wurst, line 1");
}


function config185() { 
}


function init_test845(string __wurst_stackPos197) { 
    local integer c209
    wurst_stack_681[wurst_stack_depth_151] = __wurst_stackPos_197;
    wurst_stack_depth_151 = (wurst_stack_depth_151 + 1);
    c_209 = new_CounterImpl146("when calling new_CounterImpl in simple.wurst, line 27");
    wurst_stack_681[wurst_stack_depth_151] = "when calling incCounter in simple.wurst, line 28";
    wurst_stack_depth_151 = (wurst_stack_depth_151 + 1);
    if (CounterImpl_typeId_910[c_209] == 0) {
        if (c_209 == 0) {
            error157("Nullpointer exception when calling CounterImpl.incCounter", "when calling error in simple.wurst, line 10");
        } else {
            error157("Called CounterImpl.incCounter on invalid object.", "when calling error in simple.wurst, line 10");
        };
    } else {
    };
    CounterImpl_Counter_count_163[c_209] = (CounterImpl_Counter_count_163[c_209] + 1);
    wurst_stack_depth_151 = (wurst_stack_depth_151 - 1);
    wurst_stack_681[wurst_stack_depth_151] = "when calling incCounter in simple.wurst, line 29";
    wurst_stack_depth_151 = (wurst_stack_depth_151 + 1);
    if (CounterImpl_typeId_910[c_209] == 0) {
        if (c_209 == 0) {
            error157("Nullpointer exception when calling CounterImpl.incCounter", "when calling error in simple.wurst, line 10");
        } else {
            error157("Called CounterImpl.incCounter on invalid object.", "when calling error in simple.wurst, line 10");
        };
    } else {
    };
    CounterImpl_Counter_count_163[c_209] = (CounterImpl_Counter_count_163[c_209] + 1);
    wurst_stack_depth_151 = (wurst_stack_depth_151 - 1);
    wurst_stack_681[wurst_stack_depth_151] = "when calling getCounter in simple.wurst, line 31";
    wurst_stack_depth_151 = (wurst_stack_depth_151 + 1);
    if (CounterImpl_typeId_910[c_209] == 0) {
        if (c_209 == 0) {
            error157("Nullpointer exception when calling CounterImpl.getCounter", "when calling error in simple.wurst, line 14");
        } else {
            error157("Called CounterImpl.getCounter on invalid object.", "when calling error in simple.wurst, line 14");
        };
    } else {
    };
    c_209 = CounterImpl_Counter_count_163[c_209];
    wurst_stack_depth_151 = (wurst_stack_depth_151 - 1);
    if (c_209 == 2) {
        testSuccess197();
    } else {
        testFail117("defect in equality if");
    };
    wurst_stack_depth_151 = (wurst_stack_depth_151 - 1);
}


IS_NATIVE function testSuccess197() { 
}


IS_NATIVE function testFail117(string msg189) { 
}


function new_CounterImpl146(string __wurst_stackPos200) returns integer { 
    local integer this941
    wurst_stack_681[wurst_stack_depth_151] = __wurst_stackPos_200;
    wurst_stack_depth_151 = (wurst_stack_depth_151 + 1);
    wurst_stack_681[wurst_stack_depth_151] = "when calling alloc_CounterImpl in simple.wurst, line 20";
    wurst_stack_depth_151 = (wurst_stack_depth_151 + 1);
    if (CounterImpl_firstFree_149 == 0) {
        if (CounterImpl_maxIndex_348 < 32768) {
            CounterImpl_maxIndex_348 = (CounterImpl_maxIndex_348 + 1);
            this_941 = CounterImpl_maxIndex_348;
            CounterImpl_typeId_910[this_941] = 1;
        } else {
            error157("Out of memory: Could not create CounterImpl.", "when calling error in simple.wurst, line 20");
            this_941 = 0;
        };
    } else {
        CounterImpl_firstFree_149 = (CounterImpl_firstFree_149 - 1);
        this_941 = CounterImpl_nextFree_145[CounterImpl_firstFree_149];
        CounterImpl_typeId_910[this_941] = 1;
    };
    wurst_stack_depth_151 = (wurst_stack_depth_151 - 1);
    CounterImpl_Counter_count_163[this_941] = 0;
    wurst_stack_depth_151 = (wurst_stack_depth_151 - 1);
    return this_941;
}


function error157(string msg139, string __wurst_stackPos383) { 
    local integer stacktraceIndex145
    local integer stacktraceLimit765
    wurst_stack_681[wurst_stack_depth_151] = __wurst_stackPos_383;
    wurst_stack_depth_151 = (wurst_stack_depth_151 + 1);
    __wurst_stackPos_383 = "";
    stacktraceIndex_145 = wurst_stack_depth_151;
    stacktraceLimit_765 = 0;
    loop {
        stacktraceIndex_145 = (stacktraceIndex_145 - 1);
        stacktraceLimit_765 = (stacktraceLimit_765 + 1);
        exitwhen ((stacktraceLimit_765 > 20) or (stacktraceIndex_145 < 0));
        __wurst_stackPos_383 = (__wurst_stackPos_383 + ("
   " + wurst_stack_681[stacktraceIndex_145]));
    };
    $debugPrint120((msg_139 + ("
" + __wurst_stackPos_383)));
    wurst_stack_depth_151 = (wurst_stack_depth_151 - 1);
}