array<integer> I_nextFree774
integer I_firstFree116
integer I_maxIndex511


integer I_firstFree116 = 0
integer I_maxIndex511 = 0


function initGlobals568() { 
}


function main373() { 
    initGlobals568();
    init_test134();
}


function config688() { 
}


function init_test134() { 
    local integer a149
    local integer b143
    local integer c660
    a_149 = new_B676();
    b_143 = new_B676();
    c_660 = new_C116();
    if ((a_149 != b_143) and (a_149 != c_660)) {
        testSuccess142();
    } else {
    };
}


IS_NATIVE function testSuccess142() { 
}


function B_init628(integer this107) { 
}


function new_B676() returns integer { 
    local integer this127
    this_127 = alloc_B587();
    construct_B544(this_127);
    return this_127;
}


function construct_B544(integer this205) { 
    B_init628(this_205);
}


function C_init161(integer this115) { 
}


function new_C116() returns integer { 
    local integer this499
    this_499 = alloc_C803();
    construct_C431(this_499);
    return this_499;
}


function construct_C431(integer this114) { 
    C_init161(this_114);
}


function alloc_B587() returns integer { 
    local integer this150
    if (I_firstFree_116 == 0) {
        if (I_maxIndex_511 < 32768) {
            I_maxIndex_511 = (I_maxIndex_511 + 1);
            this_150 = I_maxIndex_511;
        } else {
            error801("Out of memory: Could not create B.");
            this_150 = 0;
        };
    } else {
        I_firstFree_116 = (I_firstFree_116 - 1);
        this_150 = I_nextFree_774[I_firstFree_116];
    };
    return this_150;
}


function error801(string msg109) { 
    $debugPrint981((msg_109 + ("
" + #getStackTrace())));
}


function alloc_C803() returns integer { 
    local integer this150
    if (I_firstFree_116 == 0) {
        if (I_maxIndex_511 < 32768) {
            I_maxIndex_511 = (I_maxIndex_511 + 1);
            this_150 = I_maxIndex_511;
        } else {
            error801("Out of memory: Could not create C.");
            this_150 = 0;
        };
    } else {
        I_firstFree_116 = (I_firstFree_116 - 1);
        this_150 = I_nextFree_774[I_firstFree_116];
    };
    return this_150;
}