array<integer> A_nextFree388
integer A_firstFree104
integer A_maxIndex175
array<integer> A_typeId466
array<integer> A_i174


integer A_firstFree104 = 0
integer A_maxIndex175 = 0


function initGlobals444() { 
}


function main114() { 
    initGlobals444();
    init_test563();
}


function config147() { 
}


function init_test563() { 
    local integer receiver105
    receiver_105 = new_A130();
    if (A_typeId_466[receiver_105] == 0) {
        if (receiver_105 == 0) {
            error652("Nullpointer exception when calling A.plus");
        } else {
            error652("Called A.plus on invalid object.");
        };
    } else {
    };
    A_i_174[receiver_105] = (A_i_174[receiver_105] + 3);
    if (A_typeId_466[receiver_105] == 0) {
        if (receiver_105 == 0) {
            error652("Nullpointer exception when calling A.minus");
        } else {
            error652("Called A.minus on invalid object.");
        };
    } else {
    };
    A_i_174[receiver_105] = (A_i_174[receiver_105] - 4);
    if (A_typeId_466[receiver_105] == 0) {
        if (receiver_105 == 0) {
            error652("Nullpointer exception when calling A.plus");
        } else {
            error652("Called A.plus on invalid object.");
        };
    } else {
    };
    A_i_174[receiver_105] = (A_i_174[receiver_105] + 5);
    if (A_i_174[receiver_105] == 4) {
        testSuccess125();
    } else {
    };
}


IS_NATIVE function testSuccess125() { 
}


function new_A130() returns integer { 
    local integer this180
    if (A_firstFree_104 == 0) {
        if (A_maxIndex_175 < 32768) {
            A_maxIndex_175 = (A_maxIndex_175 + 1);
            this_180 = A_maxIndex_175;
            A_typeId_466[this_180] = 1;
        } else {
            error652("Out of memory: Could not create A.");
            this_180 = 0;
        };
    } else {
        A_firstFree_104 = (A_firstFree_104 - 1);
        this_180 = A_nextFree_388[A_firstFree_104];
        A_typeId_466[this_180] = 1;
    };
    return this_180;
}


function error652(string msg197) { 
    $debugPrint127((msg_197 + ("
" + #getStackTrace())));
}