array<integer> ABC_nextFree636
integer ABC_firstFree488
integer ABC_maxIndex138
array<integer> ABC_typeId101


integer ABC_firstFree488 = 0
integer ABC_maxIndex138 = 0
integer B_firstFree456 = 0
integer B_maxIndex507 = 0


function initGlobals102() { 
}


function main497() { 
    initGlobals102();
    init_A128();
}


function config209() { 
}


function init_A128() { 
    if (foo158(alloc_ABC_foo_A104()) == 42) {
        testSuccess183();
    } else {
    };
}


function foo158(integer a406) returns integer { 
    return dispatch_ABC_A_ABC_foo884(a_406);
}


IS_NATIVE function testSuccess183() { 
}


function foo_foo_A204(integer this203) returns integer { 
    return 42;
}


function alloc_ABC_foo_A104() returns integer { 
    local integer this153
    if (ABC_firstFree_488 == 0) {
        if (ABC_maxIndex_138 < 32768) {
            ABC_maxIndex_138 = (ABC_maxIndex_138 + 1);
            this_153 = ABC_maxIndex_138;
            ABC_typeId_101[this_153] = 2;
        } else {
            error161("Out of memory: Could not create ABC_foo_A.");
            this_153 = 0;
        };
    } else {
        ABC_firstFree_488 = (ABC_firstFree_488 - 1);
        this_153 = ABC_nextFree_636[ABC_firstFree_488];
        ABC_typeId_101[this_153] = 2;
    };
    return this_153;
}


function error161(string msg981) { 
    $debugPrint767((msg_981 + ("
" + #getStackTrace())));
}


function dispatch_ABC_A_ABC_foo884(integer this151) returns integer { 
    if (ABC_typeId_101[this_151] == 0) {
        if (this_151 == 0) {
            error161("Nullpointer exception when calling ABC.foo");
        } else {
            error161("Called ABC.foo on invalid object.");
        };
    } else {
    };
    return foo_foo_A204(this_151);
}