integer A_firstFree635
integer A_maxIndex332
integer wurst_stack_depth109
array<string> wurst_stack199


integer A_firstFree635 = 0
integer A_maxIndex332 = 0
integer wurst_stack_depth109 = 0


function initGlobals861() { 
}


function main203() { 
    initGlobals861();
    wurst_stack_199[wurst_stack_depth_109] = "when calling init_test in conditionalExpr_inferNull_right2, line 1";
    wurst_stack_depth_109 = (wurst_stack_depth_109 + 1);
    wurst_stack_199[wurst_stack_depth_109] = "when calling new_A in conditionalExpr_inferNull_right2, line 4";
    wurst_stack_depth_109 = (wurst_stack_depth_109 + 1);
    wurst_stack_199[wurst_stack_depth_109] = "when calling alloc_A in conditionalExpr_inferNull_right2, line 2";
    wurst_stack_depth_109 = (wurst_stack_depth_109 + 1);
    if (A_firstFree_635 == 0) {
        if (A_maxIndex_332 < 32768) {
            A_maxIndex_332 = (A_maxIndex_332 + 1);
        } else {
            error100("Out of memory: Could not create A.", "when calling error in conditionalExpr_inferNull_right2, line 2");
        };
    } else {
        A_firstFree_635 = (A_firstFree_635 - 1);
    };
    wurst_stack_depth_109 = (wurst_stack_depth_109 - 1);
    wurst_stack_depth_109 = ((wurst_stack_depth_109 - 1) - 1);
}


function config102() { 
}


function error100(string msg100, string __wurst_stackPos263) { 
    local integer stacktraceIndex148
    local integer stacktraceLimit123
    wurst_stack_199[wurst_stack_depth_109] = __wurst_stackPos_263;
    wurst_stack_depth_109 = (wurst_stack_depth_109 + 1);
    __wurst_stackPos_263 = "";
    stacktraceIndex_148 = wurst_stack_depth_109;
    stacktraceLimit_123 = 0;
    loop {
        stacktraceIndex_148 = (stacktraceIndex_148 - 1);
        stacktraceLimit_123 = (stacktraceLimit_123 + 1);
        exitwhen ((stacktraceLimit_123 > 20) or (stacktraceIndex_148 < 0));
        __wurst_stackPos_263 = (__wurst_stackPos_263 + ("
   " + wurst_stack_199[stacktraceIndex_148]));
    };
    $debugPrint123((msg_100 + ("
" + __wurst_stackPos_263)));
    wurst_stack_depth_109 = (wurst_stack_depth_109 - 1);
}