array<integer> A_nextFree158
integer A_firstFree532
integer A_maxIndex924
integer wurst_stack_depth284
array<string> wurst_stack713


integer A_firstFree532 = 0
integer A_maxIndex924 = 0
integer wurst_stack_depth284 = 0


function initGlobals598() { 
}


function main112() { 
    initGlobals598();
    wurst_stack_713[wurst_stack_depth_284] = "when calling init_test in conditionalExpr_inferNull_right1, line 1";
    wurst_stack_depth_284 = (wurst_stack_depth_284 + 1);
    new_B384("when calling new_B in conditionalExpr_inferNull_right1, line 5");
    wurst_stack_depth_284 = (wurst_stack_depth_284 - 1);
}


function config170() { 
}


function new_B384(string __wurst_stackPos105) returns integer { 
    local integer this185
    wurst_stack_713[wurst_stack_depth_284] = __wurst_stackPos_105;
    wurst_stack_depth_284 = (wurst_stack_depth_284 + 1);
    wurst_stack_713[wurst_stack_depth_284] = "when calling alloc_B in conditionalExpr_inferNull_right1, line 3";
    wurst_stack_depth_284 = (wurst_stack_depth_284 + 1);
    if (A_firstFree_532 == 0) {
        if (A_maxIndex_924 < 32768) {
            A_maxIndex_924 = (A_maxIndex_924 + 1);
            this_185 = A_maxIndex_924;
        } else {
            error609("Out of memory: Could not create B.", "when calling error in conditionalExpr_inferNull_right1, line 3");
            this_185 = 0;
        };
    } else {
        A_firstFree_532 = (A_firstFree_532 - 1);
        this_185 = A_nextFree_158[A_firstFree_532];
    };
    wurst_stack_depth_284 = ((wurst_stack_depth_284 - 1) - 1);
    return this_185;
}


function error609(string msg983, string __wurst_stackPos140) { 
    local integer stacktraceIndex217
    local integer stacktraceLimit494
    wurst_stack_713[wurst_stack_depth_284] = __wurst_stackPos_140;
    wurst_stack_depth_284 = (wurst_stack_depth_284 + 1);
    __wurst_stackPos_140 = "";
    stacktraceIndex_217 = wurst_stack_depth_284;
    stacktraceLimit_494 = 0;
    loop {
        stacktraceIndex_217 = (stacktraceIndex_217 - 1);
        stacktraceLimit_494 = (stacktraceLimit_494 + 1);
        exitwhen ((stacktraceLimit_494 > 20) or (stacktraceIndex_217 < 0));
        __wurst_stackPos_140 = (__wurst_stackPos_140 + ("
   " + wurst_stack_713[stacktraceIndex_217]));
    };
    $debugPrint794((msg_983 + ("
" + __wurst_stackPos_140)));
    wurst_stack_depth_284 = (wurst_stack_depth_284 - 1);
}