array<integer> ABC_nextFree179
integer ABC_firstFree148
integer ABC_maxIndex381
array<integer> ABC_typeId762


integer ABC_firstFree148 = 0
integer ABC_maxIndex381 = 0
integer B_firstFree435 = 0
integer B_maxIndex173 = 0


function initGlobals127() { 
}


function main209() { 
    initGlobals127();
    init_A235();
}


function config169() { 
}


function init_A235() { 
    if (foo109(alloc_ABC_foo_A591()) == 42) {
        testSuccess176();
    } else {
    };
}


function foo109(integer a905) returns integer { 
    return dispatch_ABC_A_ABC_foo107(a_905);
}


IS_NATIVE function testSuccess176() { 
}


function foo_foo_A561(integer this221) returns integer { 
    return 42;
}


function alloc_ABC_foo_A591() returns integer { 
    local integer this202
    if (ABC_firstFree_148 == 0) {
        if (ABC_maxIndex_381 < 32768) {
            ABC_maxIndex_381 = (ABC_maxIndex_381 + 1);
            this_202 = ABC_maxIndex_381;
            ABC_typeId_762[this_202] = 2;
        } else {
            error409("Out of memory: Could not create ABC_foo_A.");
            this_202 = 0;
        };
    } else {
        ABC_firstFree_148 = (ABC_firstFree_148 - 1);
        this_202 = ABC_nextFree_179[ABC_firstFree_148];
        ABC_typeId_762[this_202] = 2;
    };
    return this_202;
}


function error409(string msg124) { 
    $debugPrint148((msg_124 + ("
" + #getStackTrace())));
}


function dispatch_ABC_A_ABC_foo107(integer this195) returns integer { 
    if (ABC_typeId_762[this_195] == 0) {
        if (this_195 == 0) {
            error409("Nullpointer exception when calling ABC.foo");
        } else {
            error409("Called ABC.foo on invalid object.");
        };
    } else {
    };
    return foo_foo_A561(this_195);
}