array<integer> A_nextFree139
integer A_firstFree177
integer A_maxIndex550
integer wurst_stack_depth831
array<string> wurst_stack120


integer A_firstFree177 = 0
integer A_maxIndex550 = 0
integer wurst_stack_depth831 = 0


function initGlobals993() { 
}


function main165() { 
    initGlobals993();
    wurst_stack_120[wurst_stack_depth_831] = "when calling init_test in conditionalExpr_inferNull_right1, line 1";
    wurst_stack_depth_831 = (wurst_stack_depth_831 + 1);
    new_B155("when calling new_B in conditionalExpr_inferNull_right1, line 5");
    wurst_stack_depth_831 = (wurst_stack_depth_831 - 1);
}


function config985() { 
}


function new_B155(string __wurst_stackPos172) returns integer { 
    local integer this114
    wurst_stack_120[wurst_stack_depth_831] = __wurst_stackPos_172;
    wurst_stack_depth_831 = (wurst_stack_depth_831 + 1);
    wurst_stack_120[wurst_stack_depth_831] = "when calling alloc_B in conditionalExpr_inferNull_right1, line 3";
    wurst_stack_depth_831 = (wurst_stack_depth_831 + 1);
    if (A_firstFree_177 == 0) {
        if (A_maxIndex_550 < 32768) {
            A_maxIndex_550 = (A_maxIndex_550 + 1);
            this_114 = A_maxIndex_550;
        } else {
            error157("Out of memory: Could not create B.", "when calling error in conditionalExpr_inferNull_right1, line 3");
            this_114 = 0;
        };
    } else {
        A_firstFree_177 = (A_firstFree_177 - 1);
        this_114 = A_nextFree_139[A_firstFree_177];
    };
    wurst_stack_depth_831 = ((wurst_stack_depth_831 - 1) - 1);
    return this_114;
}


function error157(string msg195, string __wurst_stackPos388) { 
    local integer stacktraceIndex512
    local integer stacktraceLimit118
    wurst_stack_120[wurst_stack_depth_831] = __wurst_stackPos_388;
    wurst_stack_depth_831 = (wurst_stack_depth_831 + 1);
    __wurst_stackPos_388 = "";
    stacktraceIndex_512 = wurst_stack_depth_831;
    stacktraceLimit_118 = 0;
    loop {
        stacktraceIndex_512 = (stacktraceIndex_512 - 1);
        stacktraceLimit_118 = (stacktraceLimit_118 + 1);
        exitwhen ((stacktraceLimit_118 > 20) or (stacktraceIndex_512 < 0));
        __wurst_stackPos_388 = (__wurst_stackPos_388 + ("
   " + wurst_stack_120[stacktraceIndex_512]));
    };
    $debugPrint180((msg_195 + ("
" + __wurst_stackPos_388)));
    wurst_stack_depth_831 = (wurst_stack_depth_831 - 1);
}