array<integer> Pair_nextFree175
integer Pair_firstFree197
integer Pair_maxIndex119
array<integer> Pair_a145


integer Pair_firstFree197 = 0
integer Pair_maxIndex119 = 0


function initGlobals130() { 
}


function main827() { 
    initGlobals130();
    init_test105();
}


function config165() { 
}


function init_test105() { 
    if (Pair_a_145[new_OtherPair106(2, 3)] == 2) {
        testSuccess929();
    } else {
    };
}


IS_NATIVE function testSuccess929() { 
}


function OtherPair_init399(integer this486) { 
}


function new_OtherPair106(integer a113, integer b158) returns integer { 
    local integer this196
    this_196 = alloc_OtherPair199();
    construct_OtherPair839(this_196, a_113, b_158);
    return this_196;
}


function construct_OtherPair839(integer this165, integer a173, integer b198) { 
    construct_Pair185(this_165, a_173, b_198);
    OtherPair_init399(this_165);
}


function Pair_init201(integer this146) { 
}


function construct_Pair185(integer this128, integer a183, integer b128) { 
    Pair_init201(this_128);
    Pair_a_145[this_128] = a_183;
}


function alloc_OtherPair199() returns integer { 
    local integer this126
    if (Pair_firstFree_197 == 0) {
        if (Pair_maxIndex_119 < 32768) {
            Pair_maxIndex_119 = (Pair_maxIndex_119 + 1);
            this_126 = Pair_maxIndex_119;
        } else {
            error106("Out of memory: Could not create OtherPair.");
            this_126 = 0;
        };
    } else {
        Pair_firstFree_197 = (Pair_firstFree_197 - 1);
        this_126 = Pair_nextFree_175[Pair_firstFree_197];
    };
    return this_126;
}


function error106(string msg593) { 
    $debugPrint160((msg_593 + ("
" + #getStackTrace())));
}