array<integer> A_nextFree138
integer A_firstFree170
integer A_maxIndex133
array<integer> A_i126


integer A_firstFree170 = 0
integer A_maxIndex133 = 0


function initGlobals156() { 
    A_firstFree_170 = 0;
    A_maxIndex_133 = 0;
}


function main826() { 
    initGlobals156();
    init_test152();
}


function config793() { 
}


function init_test152() { 
    local integer a1351
    local integer a2720
    local integer result784
    a1_351 = new_A550();
    a2_720 = new_A550();
    result_784 = A_op_minus861(a1_351, a2_720);
    if (result_784 == 0) {
        testSuccess893();
    } else {
    };
}


IS_NATIVE function testSuccess893() { 
}


function A_op_minus861(integer this171, integer a102) returns integer { 
    return (A_i_126[this_171] - A_i_126[a_102]);
}


function A_init166(integer this209) { 
    A_i_126[this_209] = 2;
}


function new_A550() returns integer { 
    local integer this171
    this_171 = alloc_A202();
    construct_A151(this_171);
    return this_171;
}


function construct_A151(integer this732) { 
    A_init166(this_732);
}


function alloc_A202() returns integer { 
    local integer this696
    if (A_firstFree_170 == 0) {
        if (A_maxIndex_133 < 32768) {
            A_maxIndex_133 = (A_maxIndex_133 + 1);
            this_696 = A_maxIndex_133;
        } else {
            error750("Out of memory: Could not create A.");
            this_696 = 0;
        };
    } else {
        A_firstFree_170 = (A_firstFree_170 - 1);
        this_696 = A_nextFree_138[A_firstFree_170];
    };
    return this_696;
}


function error750(string msg131) { 
    $debugPrint102((msg_131 + ("
" + #getStackTrace())));
}