array<integer> Pair_nextFree112
integer Pair_firstFree126
integer Pair_maxIndex182
array<integer> Pair_a251


integer Pair_firstFree126 = 0
integer Pair_maxIndex182 = 0


function initGlobals103() { 
}


function main202() { 
    initGlobals103();
    init_test437();
}


function config445() { 
}


function init_test437() { 
    local integer a785
    local integer this171
    local integer this158
    local integer this521
    local integer a127
    local integer this688
    local integer a193
    a_785 = 2;
    if (Pair_firstFree_126 == 0) {
        if (Pair_maxIndex_182 < 32768) {
            Pair_maxIndex_182 = (Pair_maxIndex_182 + 1);
            this_158 = Pair_maxIndex_182;
        } else {
            error139("Out of memory: Could not create OtherPair.");
            this_158 = 0;
        };
    } else {
        Pair_firstFree_126 = (Pair_firstFree_126 - 1);
        this_158 = Pair_nextFree_112[Pair_firstFree_126];
    };
    this_171 = this_158;
    this_521 = this_171;
    a_127 = a_785;
    this_688 = this_521;
    a_193 = (a_127 * 2);
    Pair_a_251[this_688] = a_193;
    if (Pair_a_251[this_171] == 4) {
        testSuccess376();
    } else {
    };
}


IS_NATIVE function testSuccess376() { 
}


function error139(string msg113) { 
    $debugPrint101((msg_113 + ("
" + #getStackTrace())));
}