array<integer> A_nextFree531
integer A_firstFree591
integer A_maxIndex103
array<integer> A_typeId953
array<integer> A_i118
integer wurst_stack_depth208
array<string> wurst_stack101


integer A_firstFree591 = 0
integer A_maxIndex103 = 0
integer wurst_stack_depth208 = 0


function initGlobals392() { 
}


function main676() { 
    initGlobals392();
    init_test107("when calling init_test in dotdotOperator, line 1");
}


function config561() { 
}


function init_test107(string __wurst_stackPos154) { 
    local integer receiver188
    wurst_stack_101[wurst_stack_depth_208] = __wurst_stackPos_154;
    wurst_stack_depth_208 = (wurst_stack_depth_208 + 1);
    receiver_188 = new_A839("when calling new_A in dotdotOperator, line 10");
    wurst_stack_101[wurst_stack_depth_208] = "when calling plus in dotdotOperator, line 11";
    wurst_stack_depth_208 = (wurst_stack_depth_208 + 1);
    if (A_typeId_953[receiver_188] == 0) {
        if (receiver_188 == 0) {
            error205("Nullpointer exception when calling A.plus", "when calling error in dotdotOperator, line 5");
        } else {
            error205("Called A.plus on invalid object.", "when calling error in dotdotOperator, line 5");
        };
    } else {
    };
    A_i_118[receiver_188] = (A_i_118[receiver_188] + 3);
    wurst_stack_depth_208 = (wurst_stack_depth_208 - 1);
    wurst_stack_101[wurst_stack_depth_208] = "when calling minus in dotdotOperator, line 12";
    wurst_stack_depth_208 = (wurst_stack_depth_208 + 1);
    if (A_typeId_953[receiver_188] == 0) {
        if (receiver_188 == 0) {
            error205("Nullpointer exception when calling A.minus", "when calling error in dotdotOperator, line 7");
        } else {
            error205("Called A.minus on invalid object.", "when calling error in dotdotOperator, line 7");
        };
    } else {
    };
    A_i_118[receiver_188] = (A_i_118[receiver_188] - 4);
    wurst_stack_depth_208 = (wurst_stack_depth_208 - 1);
    wurst_stack_101[wurst_stack_depth_208] = "when calling plus in dotdotOperator, line 13";
    wurst_stack_depth_208 = (wurst_stack_depth_208 + 1);
    if (A_typeId_953[receiver_188] == 0) {
        if (receiver_188 == 0) {
            error205("Nullpointer exception when calling A.plus", "when calling error in dotdotOperator, line 5");
        } else {
            error205("Called A.plus on invalid object.", "when calling error in dotdotOperator, line 5");
        };
    } else {
    };
    A_i_118[receiver_188] = (A_i_118[receiver_188] + 5);
    wurst_stack_depth_208 = (wurst_stack_depth_208 - 1);
    if (A_i_118[receiver_188] == 4) {
        testSuccess177();
    } else {
    };
    wurst_stack_depth_208 = (wurst_stack_depth_208 - 1);
}


IS_NATIVE function testSuccess177() { 
}


function new_A839(string __wurst_stackPos428) returns integer { 
    local integer this158
    wurst_stack_101[wurst_stack_depth_208] = __wurst_stackPos_428;
    wurst_stack_depth_208 = (wurst_stack_depth_208 + 1);
    wurst_stack_101[wurst_stack_depth_208] = "when calling alloc_A in dotdotOperator, line 3";
    wurst_stack_depth_208 = (wurst_stack_depth_208 + 1);
    if (A_firstFree_591 == 0) {
        if (A_maxIndex_103 < 32768) {
            A_maxIndex_103 = (A_maxIndex_103 + 1);
            this_158 = A_maxIndex_103;
            A_typeId_953[this_158] = 1;
        } else {
            error205("Out of memory: Could not create A.", "when calling error in dotdotOperator, line 3");
            this_158 = 0;
        };
    } else {
        A_firstFree_591 = (A_firstFree_591 - 1);
        this_158 = A_nextFree_531[A_firstFree_591];
        A_typeId_953[this_158] = 1;
    };
    wurst_stack_depth_208 = ((wurst_stack_depth_208 - 1) - 1);
    return this_158;
}


function error205(string msg443, string __wurst_stackPos746) { 
    local integer stacktraceIndex188
    local integer stacktraceLimit442
    wurst_stack_101[wurst_stack_depth_208] = __wurst_stackPos_746;
    wurst_stack_depth_208 = (wurst_stack_depth_208 + 1);
    __wurst_stackPos_746 = "";
    stacktraceIndex_188 = wurst_stack_depth_208;
    stacktraceLimit_442 = 0;
    loop {
        stacktraceIndex_188 = (stacktraceIndex_188 - 1);
        stacktraceLimit_442 = (stacktraceLimit_442 + 1);
        exitwhen ((stacktraceLimit_442 > 20) or (stacktraceIndex_188 < 0));
        __wurst_stackPos_746 = (__wurst_stackPos_746 + ("
   " + wurst_stack_101[stacktraceIndex_188]));
    };
    $debugPrint895((msg_443 + ("
" + __wurst_stackPos_746)));
    wurst_stack_depth_208 = (wurst_stack_depth_208 - 1);
}