integer A_firstFree185
integer A_maxIndex759
integer wurst_stack_depth149
array<string> wurst_stack205


integer A_firstFree185 = 0
integer A_maxIndex759 = 0
integer wurst_stack_depth149 = 0


function initGlobals182() { 
}


function main177() { 
    initGlobals182();
    wurst_stack_205[wurst_stack_depth_149] = "when calling init_test in conditionalExpr_inferNull_right2, line 1";
    wurst_stack_depth_149 = (wurst_stack_depth_149 + 1);
    wurst_stack_205[wurst_stack_depth_149] = "when calling new_A in conditionalExpr_inferNull_right2, line 4";
    wurst_stack_depth_149 = (wurst_stack_depth_149 + 1);
    wurst_stack_205[wurst_stack_depth_149] = "when calling alloc_A in conditionalExpr_inferNull_right2, line 2";
    wurst_stack_depth_149 = (wurst_stack_depth_149 + 1);
    if (A_firstFree_185 == 0) {
        if (A_maxIndex_759 < 32768) {
            A_maxIndex_759 = (A_maxIndex_759 + 1);
        } else {
            error983("Out of memory: Could not create A.", "when calling error in conditionalExpr_inferNull_right2, line 2");
        };
    } else {
        A_firstFree_185 = (A_firstFree_185 - 1);
    };
    wurst_stack_depth_149 = (wurst_stack_depth_149 - 1);
    wurst_stack_depth_149 = ((wurst_stack_depth_149 - 1) - 1);
}


function config981() { 
}


function error983(string msg474, string __wurst_stackPos719) { 
    local integer stacktraceIndex109
    local integer stacktraceLimit196
    wurst_stack_205[wurst_stack_depth_149] = __wurst_stackPos_719;
    wurst_stack_depth_149 = (wurst_stack_depth_149 + 1);
    __wurst_stackPos_719 = "";
    stacktraceIndex_109 = wurst_stack_depth_149;
    stacktraceLimit_196 = 0;
    loop {
        stacktraceIndex_109 = (stacktraceIndex_109 - 1);
        stacktraceLimit_196 = (stacktraceLimit_196 + 1);
        exitwhen ((stacktraceLimit_196 > 20) or (stacktraceIndex_109 < 0));
        __wurst_stackPos_719 = (__wurst_stackPos_719 + ("
   " + wurst_stack_205[stacktraceIndex_109]));
    };
    $debugPrint694((msg_474 + ("
" + __wurst_stackPos_719)));
    wurst_stack_depth_149 = (wurst_stack_depth_149 - 1);
}