array<integer> A_nextFree478
integer A_firstFree129
integer A_maxIndex193
array<integer> A_typeId513
array<integer> A_i105
integer wurst_stack_depth364
array<string> wurst_stack675


integer A_firstFree129 = 0
integer A_maxIndex193 = 0
integer wurst_stack_depth364 = 0


function initGlobals158() { 
}


function main195() { 
    initGlobals158();
    init_test312("when calling init_test in dotdotOperator, line 1");
}


function config650() { 
}


function init_test312(string __wurst_stackPos108) { 
    local integer receiver121
    wurst_stack_675[wurst_stack_depth_364] = __wurst_stackPos_108;
    wurst_stack_depth_364 = (wurst_stack_depth_364 + 1);
    receiver_121 = new_A287("when calling new_A in dotdotOperator, line 10");
    wurst_stack_675[wurst_stack_depth_364] = "when calling plus in dotdotOperator, line 11";
    wurst_stack_depth_364 = (wurst_stack_depth_364 + 1);
    if (A_typeId_513[receiver_121] == 0) {
        if (receiver_121 == 0) {
            error115("Nullpointer exception when calling A.plus", "when calling error in dotdotOperator, line 5");
        } else {
            error115("Called A.plus on invalid object.", "when calling error in dotdotOperator, line 5");
        };
    } else {
    };
    A_i_105[receiver_121] = (A_i_105[receiver_121] + 3);
    wurst_stack_depth_364 = (wurst_stack_depth_364 - 1);
    wurst_stack_675[wurst_stack_depth_364] = "when calling minus in dotdotOperator, line 12";
    wurst_stack_depth_364 = (wurst_stack_depth_364 + 1);
    if (A_typeId_513[receiver_121] == 0) {
        if (receiver_121 == 0) {
            error115("Nullpointer exception when calling A.minus", "when calling error in dotdotOperator, line 7");
        } else {
            error115("Called A.minus on invalid object.", "when calling error in dotdotOperator, line 7");
        };
    } else {
    };
    A_i_105[receiver_121] = (A_i_105[receiver_121] - 4);
    wurst_stack_depth_364 = (wurst_stack_depth_364 - 1);
    wurst_stack_675[wurst_stack_depth_364] = "when calling plus in dotdotOperator, line 13";
    wurst_stack_depth_364 = (wurst_stack_depth_364 + 1);
    if (A_typeId_513[receiver_121] == 0) {
        if (receiver_121 == 0) {
            error115("Nullpointer exception when calling A.plus", "when calling error in dotdotOperator, line 5");
        } else {
            error115("Called A.plus on invalid object.", "when calling error in dotdotOperator, line 5");
        };
    } else {
    };
    A_i_105[receiver_121] = (A_i_105[receiver_121] + 5);
    wurst_stack_depth_364 = (wurst_stack_depth_364 - 1);
    if (A_i_105[receiver_121] == 4) {
        testSuccess178();
    } else {
    };
    wurst_stack_depth_364 = (wurst_stack_depth_364 - 1);
}


IS_NATIVE function testSuccess178() { 
}


function new_A287(string __wurst_stackPos139) returns integer { 
    local integer this196
    wurst_stack_675[wurst_stack_depth_364] = __wurst_stackPos_139;
    wurst_stack_depth_364 = (wurst_stack_depth_364 + 1);
    wurst_stack_675[wurst_stack_depth_364] = "when calling alloc_A in dotdotOperator, line 3";
    wurst_stack_depth_364 = (wurst_stack_depth_364 + 1);
    if (A_firstFree_129 == 0) {
        if (A_maxIndex_193 < 32768) {
            A_maxIndex_193 = (A_maxIndex_193 + 1);
            this_196 = A_maxIndex_193;
            A_typeId_513[this_196] = 1;
        } else {
            error115("Out of memory: Could not create A.", "when calling error in dotdotOperator, line 3");
            this_196 = 0;
        };
    } else {
        A_firstFree_129 = (A_firstFree_129 - 1);
        this_196 = A_nextFree_478[A_firstFree_129];
        A_typeId_513[this_196] = 1;
    };
    wurst_stack_depth_364 = ((wurst_stack_depth_364 - 1) - 1);
    return this_196;
}


function error115(string msg131, string __wurst_stackPos300) { 
    local integer stacktraceIndex159
    local integer stacktraceLimit907
    wurst_stack_675[wurst_stack_depth_364] = __wurst_stackPos_300;
    wurst_stack_depth_364 = (wurst_stack_depth_364 + 1);
    __wurst_stackPos_300 = "";
    stacktraceIndex_159 = wurst_stack_depth_364;
    stacktraceLimit_907 = 0;
    loop {
        stacktraceIndex_159 = (stacktraceIndex_159 - 1);
        stacktraceLimit_907 = (stacktraceLimit_907 + 1);
        exitwhen ((stacktraceLimit_907 > 20) or (stacktraceIndex_159 < 0));
        __wurst_stackPos_300 = (__wurst_stackPos_300 + ("
   " + wurst_stack_675[stacktraceIndex_159]));
    };
    $debugPrint159((msg_131 + ("
" + __wurst_stackPos_300)));
    wurst_stack_depth_364 = (wurst_stack_depth_364 - 1);
}