array<integer> A_nextFree135
integer A_firstFree829
integer A_maxIndex622
array<integer> A_typeId137
array<integer> A_i250


integer A_firstFree829 = 0
integer A_maxIndex622 = 0


function initGlobals149() { 
}


function main199() { 
    initGlobals149();
    init_test937();
}


function config179() { 
}


function init_test937() { 
    local integer a628
    local integer receiver114
    local integer receiver880
    local integer receiver167
    local integer this280
    local integer x916
    local integer this615
    local integer x151
    local integer this115
    local integer x110
    local integer this115
    local integer x183
    local integer this173
    local integer x116
    local integer this192
    local integer x143
    receiver_114 = new_A609();
    this_280 = receiver_114;
    x_916 = 3;
    if (A_typeId_137[this_280] == 0) {
        if (this_280 == 0) {
            error190("Nullpointer exception when calling A.plus");
        } else {
            error190("Called A.plus on invalid object.");
        };
    } else {
    };
    this_615 = this_280;
    x_151 = x_916;
    A_i_250[this_615] = (A_i_250[this_615] + x_151);
    receiver_880 = receiver_114;
    this_115 = receiver_880;
    x_110 = 4;
    if (A_typeId_137[this_115] == 0) {
        if (this_115 == 0) {
            error190("Nullpointer exception when calling A.minus");
        } else {
            error190("Called A.minus on invalid object.");
        };
    } else {
    };
    this_115 = this_115;
    x_183 = x_110;
    A_i_250[this_115] = (A_i_250[this_115] - x_183);
    receiver_167 = receiver_880;
    this_173 = receiver_167;
    x_116 = 5;
    if (A_typeId_137[this_173] == 0) {
        if (this_173 == 0) {
            error190("Nullpointer exception when calling A.plus");
        } else {
            error190("Called A.plus on invalid object.");
        };
    } else {
    };
    this_192 = this_173;
    x_143 = x_116;
    A_i_250[this_192] = (A_i_250[this_192] + x_143);
    a_628 = receiver_167;
    if (A_i_250[a_628] == 4) {
        testSuccess362();
    } else {
    };
}


IS_NATIVE function testSuccess362() { 
}


function new_A609() returns integer { 
    local integer this450
    local integer this158
    if (A_firstFree_829 == 0) {
        if (A_maxIndex_622 < 32768) {
            A_maxIndex_622 = (A_maxIndex_622 + 1);
            this_158 = A_maxIndex_622;
            A_typeId_137[this_158] = 1;
        } else {
            error190("Out of memory: Could not create A.");
            this_158 = 0;
        };
    } else {
        A_firstFree_829 = (A_firstFree_829 - 1);
        this_158 = A_nextFree_135[A_firstFree_829];
        A_typeId_137[this_158] = 1;
    };
    this_450 = this_158;
    return this_450;
}


function error190(string msg376) { 
    $debugPrint161((msg_376 + ("
" + #getStackTrace())));
}