array<integer> A_nextFree112
integer A_firstFree176
integer A_maxIndex310
array<integer> A_typeId931
array<integer> A_i102


integer A_firstFree176 = 0
integer A_maxIndex310 = 0


function initGlobals119() { 
}


function main117() { 
    initGlobals119();
    init_test230();
}


function config107() { 
}


function init_test230() { 
    local integer a294
    local integer receiver188
    local integer receiver140
    local integer receiver709
    local integer this162
    local integer x104
    local integer this175
    local integer x682
    local integer this108
    local integer x696
    local integer this185
    local integer x185
    local integer this200
    local integer x182
    local integer this134
    local integer x885
    receiver_188 = new_A202();
    this_162 = receiver_188;
    x_104 = 3;
    if (A_typeId_931[this_162] == 0) {
        if (this_162 == 0) {
            error754("Nullpointer exception when calling A.plus");
        } else {
            error754("Called A.plus on invalid object.");
        };
    } else {
    };
    this_175 = this_162;
    x_682 = x_104;
    A_i_102[this_175] = (A_i_102[this_175] + x_682);
    receiver_140 = receiver_188;
    this_108 = receiver_140;
    x_696 = 4;
    if (A_typeId_931[this_108] == 0) {
        if (this_108 == 0) {
            error754("Nullpointer exception when calling A.minus");
        } else {
            error754("Called A.minus on invalid object.");
        };
    } else {
    };
    this_185 = this_108;
    x_185 = x_696;
    A_i_102[this_185] = (A_i_102[this_185] - x_185);
    receiver_709 = receiver_140;
    this_200 = receiver_709;
    x_182 = 5;
    if (A_typeId_931[this_200] == 0) {
        if (this_200 == 0) {
            error754("Nullpointer exception when calling A.plus");
        } else {
            error754("Called A.plus on invalid object.");
        };
    } else {
    };
    this_134 = this_200;
    x_885 = x_182;
    A_i_102[this_134] = (A_i_102[this_134] + x_885);
    a_294 = receiver_709;
    if (A_i_102[a_294] == 4) {
        testSuccess824();
    } else {
    };
}


IS_NATIVE function testSuccess824() { 
}


function new_A202() returns integer { 
    local integer this350
    local integer this145
    if (A_firstFree_176 == 0) {
        if (A_maxIndex_310 < 32768) {
            A_maxIndex_310 = (A_maxIndex_310 + 1);
            this_145 = A_maxIndex_310;
            A_typeId_931[this_145] = 1;
        } else {
            error754("Out of memory: Could not create A.");
            this_145 = 0;
        };
    } else {
        A_firstFree_176 = (A_firstFree_176 - 1);
        this_145 = A_nextFree_112[A_firstFree_176];
        A_typeId_931[this_145] = 1;
    };
    this_350 = this_145;
    return this_350;
}


function error754(string msg119) { 
    $debugPrint760((msg_119 + ("
" + #getStackTrace())));
}