integer test_x165
array<integer> I_nextFree147
integer I_firstFree145
integer I_maxIndex260
array<integer> I_typeId162


integer test_x165 = 0
integer I_firstFree145 = 0
integer I_maxIndex260 = 0


function initGlobals879() { 
}


function main107() { 
    initGlobals879();
    dispatch_I_destroyI445(new_C104());
    if (test_x_165 == 2) {
        testSuccess516();
    } else {
    };
}


function config850() { 
}


IS_NATIVE function testSuccess516() { 
}


function new_C104() returns integer { 
    local integer this207
    if (I_firstFree_145 == 0) {
        if (I_maxIndex_260 < 32768) {
            I_maxIndex_260 = (I_maxIndex_260 + 1);
            this_207 = I_maxIndex_260;
            I_typeId_162[this_207] = 3;
        } else {
            error220("Out of memory: Could not create C.");
            this_207 = 0;
        };
    } else {
        I_firstFree_145 = (I_firstFree_145 - 1);
        this_207 = I_nextFree_147[I_firstFree_145];
        I_typeId_162[this_207] = 3;
    };
    return this_207;
}


function error220(string msg302) { 
    $debugPrint180((msg_302 + ("
" + #getStackTrace())));
}


function dispatch_I_destroyI445(integer this498) { 
    if (I_typeId_162[this_498] == 0) {
        if (this_498 == 0) {
            error220("Nullpointer exception when calling I.I");
        } else {
            error220("Called I.I on invalid object.");
        };
    } else {
    };
    if (I_typeId_162[this_498] <= 2) {
        if (I_typeId_162[this_498] <= 1) {
            if (I_typeId_162[this_498] == 0) {
                error220("Double free: object of type I");
            } else {
                I_nextFree_147[I_firstFree_145] = this_498;
                I_firstFree_145 = (I_firstFree_145 + 1);
                I_typeId_162[this_498] = 0;
            };
        } else {
            test_x_165 = 1;
            if (I_typeId_162[this_498] == 0) {
                error220("Double free: object of type B");
            } else {
                I_nextFree_147[I_firstFree_145] = this_498;
                I_firstFree_145 = (I_firstFree_145 + 1);
                I_typeId_162[this_498] = 0;
            };
        };
    } else {
        test_x_165 = 2;
        if (I_typeId_162[this_498] == 0) {
            error220("Double free: object of type C");
        } else {
            I_nextFree_147[I_firstFree_145] = this_498;
            I_firstFree_145 = (I_firstFree_145 + 1);
            I_typeId_162[this_498] = 0;
        };
    };
}