array<integer> A_nextFree135
integer A_firstFree229
integer A_maxIndex191
integer wurst_stack_depth112
array<string> wurst_stack154


integer A_firstFree229 = 0
integer A_maxIndex191 = 0
integer wurst_stack_depth112 = 0


function initGlobals149() { 
}


function main846() { 
    initGlobals149();
    wurst_stack_154[wurst_stack_depth_112] = "when calling init_test in conditionalExpr_inferNull_right1, line 1";
    wurst_stack_depth_112 = (wurst_stack_depth_112 + 1);
    new_B638("when calling new_B in conditionalExpr_inferNull_right1, line 5");
    wurst_stack_depth_112 = (wurst_stack_depth_112 - 1);
}


function config328() { 
}


function new_B638(string __wurst_stackPos146) returns integer { 
    local integer this197
    wurst_stack_154[wurst_stack_depth_112] = __wurst_stackPos_146;
    wurst_stack_depth_112 = (wurst_stack_depth_112 + 1);
    wurst_stack_154[wurst_stack_depth_112] = "when calling alloc_B in conditionalExpr_inferNull_right1, line 3";
    wurst_stack_depth_112 = (wurst_stack_depth_112 + 1);
    if (A_firstFree_229 == 0) {
        if (A_maxIndex_191 < 32768) {
            A_maxIndex_191 = (A_maxIndex_191 + 1);
            this_197 = A_maxIndex_191;
        } else {
            error924("Out of memory: Could not create B.", "when calling error in conditionalExpr_inferNull_right1, line 3");
            this_197 = 0;
        };
    } else {
        A_firstFree_229 = (A_firstFree_229 - 1);
        this_197 = A_nextFree_135[A_firstFree_229];
    };
    wurst_stack_depth_112 = ((wurst_stack_depth_112 - 1) - 1);
    return this_197;
}


function error924(string msg173, string __wurst_stackPos144) { 
    local integer stacktraceIndex386
    local integer stacktraceLimit198
    wurst_stack_154[wurst_stack_depth_112] = __wurst_stackPos_144;
    wurst_stack_depth_112 = (wurst_stack_depth_112 + 1);
    __wurst_stackPos_144 = "";
    stacktraceIndex_386 = wurst_stack_depth_112;
    stacktraceLimit_198 = 0;
    loop {
        stacktraceIndex_386 = (stacktraceIndex_386 - 1);
        stacktraceLimit_198 = (stacktraceLimit_198 + 1);
        exitwhen ((stacktraceLimit_198 > 20) or (stacktraceIndex_386 < 0));
        __wurst_stackPos_144 = (__wurst_stackPos_144 + ("
   " + wurst_stack_154[stacktraceIndex_386]));
    };
    $debugPrint346((msg_173 + ("
" + __wurst_stackPos_144)));
    wurst_stack_depth_112 = (wurst_stack_depth_112 - 1);
}