array<integer> A_nextFree764
integer A_firstFree296
integer A_maxIndex107
array<integer> A_typeId524
array<integer> A_i173


integer A_firstFree296 = 0
integer A_maxIndex107 = 0


function initGlobals205() { 
}


function main595() { 
    initGlobals205();
    init_test137();
}


function config545() { 
}


function init_test137() { 
    local integer receiver319
    receiver_319 = new_A169();
    if (A_typeId_524[receiver_319] == 0) {
        if (receiver_319 == 0) {
            error600("Nullpointer exception when calling A.plus");
        } else {
            error600("Called A.plus on invalid object.");
        };
    } else {
    };
    A_i_173[receiver_319] = (A_i_173[receiver_319] + 3);
    if (A_typeId_524[receiver_319] == 0) {
        if (receiver_319 == 0) {
            error600("Nullpointer exception when calling A.minus");
        } else {
            error600("Called A.minus on invalid object.");
        };
    } else {
    };
    A_i_173[receiver_319] = (A_i_173[receiver_319] - 4);
    if (A_typeId_524[receiver_319] == 0) {
        if (receiver_319 == 0) {
            error600("Nullpointer exception when calling A.plus");
        } else {
            error600("Called A.plus on invalid object.");
        };
    } else {
    };
    A_i_173[receiver_319] = (A_i_173[receiver_319] + 5);
    if (A_i_173[receiver_319] == 4) {
        testSuccess124();
    } else {
    };
}


IS_NATIVE function testSuccess124() { 
}


function new_A169() returns integer { 
    local integer this560
    if (A_firstFree_296 == 0) {
        if (A_maxIndex_107 < 32768) {
            A_maxIndex_107 = (A_maxIndex_107 + 1);
            this_560 = A_maxIndex_107;
            A_typeId_524[this_560] = 1;
        } else {
            error600("Out of memory: Could not create A.");
            this_560 = 0;
        };
    } else {
        A_firstFree_296 = (A_firstFree_296 - 1);
        this_560 = A_nextFree_764[A_firstFree_296];
        A_typeId_524[this_560] = 1;
    };
    return this_560;
}


function error600(string msg383) { 
    $debugPrint956((msg_383 + ("
" + #getStackTrace())));
}