array<integer> C_nextFree142
integer C_firstFree480
integer C_maxIndex175
array<integer> C_B_A_x125


integer C_firstFree480 = 0
integer C_maxIndex175 = 0


function initGlobals242() { 
}


function main173() { 
    local integer c183
    initGlobals242();
    c_183 = new_C201();
    if (C_B_A_x_125[c_183] == 2) {
        testSuccess233();
    } else {
    };
}


function config803() { 
}


IS_NATIVE function testSuccess233() { 
}


function new_C201() returns integer { 
    local integer this333
    local integer this708
    local integer this119
    local integer this715
    local integer this202
    local integer this753
    if (C_firstFree_480 == 0) {
        if (C_maxIndex_175 < 32768) {
            C_maxIndex_175 = (C_maxIndex_175 + 1);
            this_708 = C_maxIndex_175;
        } else {
            error617("Out of memory: Could not create C.");
            this_708 = 0;
        };
    } else {
        C_firstFree_480 = (C_firstFree_480 - 1);
        this_708 = C_nextFree_142[C_firstFree_480];
    };
    this_333 = this_708;
    this_119 = this_333;
    this_715 = this_119;
    C_B_A_x_125[this_715] = 3;
    this_202 = this_715;
    this_753 = this_202;
    C_B_A_x_125[this_753] = (C_B_A_x_125[this_753] - 1);
    return this_333;
}


function error617(string msg792) { 
    $debugPrint287((msg_792 + ("
" + #getStackTrace())));
}