array<integer> B_nextFree200
integer B_firstFree145
integer B_maxIndex235
array<integer> B_typeId126


integer B_firstFree145 = 0
integer B_maxIndex235 = 0


function initGlobals866() { 
}


function main453() { 
    initGlobals866();
    init_A109();
}


function config155() { 
}


function init_A109() { 
    local integer this130
    if (B_firstFree_145 == 0) {
        if (B_maxIndex_235 < 32768) {
            B_maxIndex_235 = (B_maxIndex_235 + 1);
            this_130 = B_maxIndex_235;
            B_typeId_126[this_130] = 3;
        } else {
            error103("Out of memory: Could not create B_bar_A.");
            this_130 = 0;
        };
    } else {
        B_firstFree_145 = (B_firstFree_145 - 1);
        this_130 = B_nextFree_200[B_firstFree_145];
        B_typeId_126[this_130] = 3;
    };
    dispatch_B_destroyB306(this_130);
    if (B_firstFree_145 == 0) {
        if (B_maxIndex_235 < 32768) {
            B_maxIndex_235 = (B_maxIndex_235 + 1);
            this_130 = B_maxIndex_235;
            B_typeId_126[this_130] = 2;
        } else {
            error103("Out of memory: Could not create B_A.");
            this_130 = 0;
        };
    } else {
        B_firstFree_145 = (B_firstFree_145 - 1);
        this_130 = B_nextFree_200[B_firstFree_145];
        B_typeId_126[this_130] = 2;
    };
    if ((this_130 castTo integer) == 1) {
        testSuccess208();
    } else {
    };
}


IS_NATIVE function testSuccess208() { 
}


function error103(string msg521) { 
    $debugPrint204((msg_521 + ("
" + #getStackTrace())));
}


function dispatch_B_destroyB306(integer this660) { 
    if (B_typeId_126[this_660] == 0) {
        if (this_660 == 0) {
            error103("Nullpointer exception when calling B.B");
        } else {
            error103("Called B.B on invalid object.");
        };
    } else {
    };
    if (B_typeId_126[this_660] == 0) {
        error103("Double free: object of type B");
    } else {
        B_nextFree_200[B_firstFree_145] = this_660;
        B_firstFree_145 = (B_firstFree_145 + 1);
        B_typeId_126[this_660] = 0;
    };
}