array<integer> I_nextFree173
integer I_firstFree180
integer I_maxIndex174


integer I_firstFree180 = 0
integer I_maxIndex174 = 0


function initGlobals999() { 
    I_firstFree_180 = 0;
    I_maxIndex_174 = 0;
}


function main411() { 
    initGlobals999();
    init_test143();
}


function config782() { 
}


function init_test143() { 
    local integer a268
    local integer b207
    local integer c888
    a_268 = new_B708();
    b_207 = new_B708();
    c_888 = new_C132();
    if ((a_268 != b_207) and (a_268 != c_888)) {
        testSuccess270();
    } else {
    };
}


IS_NATIVE function testSuccess270() { 
}


function B_init120(integer this204) { 
}


function new_B708() returns integer { 
    local integer this154
    this_154 = alloc_B983();
    construct_B879(this_154);
    return this_154;
}


function construct_B879(integer this656) { 
    B_init120(this_656);
}


function C_init172(integer this104) { 
}


function new_C132() returns integer { 
    local integer this139
    this_139 = alloc_C115();
    construct_C165(this_139);
    return this_139;
}


function construct_C165(integer this837) { 
    C_init172(this_837);
}


function alloc_B983() returns integer { 
    local integer this206
    if (I_firstFree_180 == 0) {
        if (I_maxIndex_174 < 32768) {
            I_maxIndex_174 = (I_maxIndex_174 + 1);
            this_206 = I_maxIndex_174;
        } else {
            error940("Out of memory: Could not create B.");
            this_206 = 0;
        };
    } else {
        I_firstFree_180 = (I_firstFree_180 - 1);
        this_206 = I_nextFree_173[I_firstFree_180];
    };
    return this_206;
}


function error940(string msg337) { 
    $debugPrint168((msg_337 + ("
" + #getStackTrace())));
}


function alloc_C115() returns integer { 
    local integer this530
    if (I_firstFree_180 == 0) {
        if (I_maxIndex_174 < 32768) {
            I_maxIndex_174 = (I_maxIndex_174 + 1);
            this_530 = I_maxIndex_174;
        } else {
            error940("Out of memory: Could not create C.");
            this_530 = 0;
        };
    } else {
        I_firstFree_180 = (I_firstFree_180 - 1);
        this_530 = I_nextFree_173[I_firstFree_180];
    };
    return this_530;
}