array<integer> ABC_nextFree572
integer ABC_firstFree193
integer ABC_maxIndex137
array<integer> A_nextFree139
integer A_firstFree191
integer A_maxIndex182


integer ABC_firstFree193 = 0
integer ABC_maxIndex137 = 0
integer A_firstFree191 = 0
integer A_maxIndex182 = 0
integer B_firstFree134 = 0
integer B_maxIndex139 = 0


function initGlobals547() { 
    ABC_firstFree_193 = 0;
    ABC_maxIndex_137 = 0;
    A_firstFree_191 = 0;
    A_maxIndex_182 = 0;
}


function main882() { 
    initGlobals547();
    init_A208();
}


function config511() { 
}


function init_A208() { 
    local integer clVar206
    clVar_206 = alloc_ABC_A926();
    new_A621(clVar_206);
}


IS_NATIVE function testSuccess178() { 
}


function A_init221(integer this187) { 
}


function new_A621(integer a617) returns integer { 
    local integer this203
    this_203 = alloc_A123();
    construct_A211(this_203, a_617);
    return this_203;
}


function construct_A211(integer this162, integer a150) { 
    A_init221(this_162);
    testSuccess178();
}


function alloc_ABC_A926() returns integer { 
    local integer this968
    if (ABC_firstFree_193 == 0) {
        if (ABC_maxIndex_137 < 32768) {
            ABC_maxIndex_137 = (ABC_maxIndex_137 + 1);
            this_968 = ABC_maxIndex_137;
        } else {
            error196("Out of memory: Could not create ABC_A.");
            this_968 = 0;
        };
    } else {
        ABC_firstFree_193 = (ABC_firstFree_193 - 1);
        this_968 = ABC_nextFree_572[ABC_firstFree_193];
    };
    return this_968;
}


function error196(string msg139) { 
    $debugPrint202((msg_139 + ("
" + #getStackTrace())));
}


function alloc_A123() returns integer { 
    local integer this142
    if (A_firstFree_191 == 0) {
        if (A_maxIndex_182 < 32768) {
            A_maxIndex_182 = (A_maxIndex_182 + 1);
            this_142 = A_maxIndex_182;
        } else {
            error196("Out of memory: Could not create A.");
            this_142 = 0;
        };
    } else {
        A_firstFree_191 = (A_firstFree_191 - 1);
        this_142 = A_nextFree_139[A_firstFree_191];
    };
    return this_142;
}