array<integer> C_nextFree783
integer C_firstFree172
integer C_maxIndex874
array<integer> C_B_A_x209


integer C_firstFree172 = 0
integer C_maxIndex874 = 0


function initGlobals199() { 
}


function main571() { 
    local integer c320
    initGlobals199();
    c_320 = new_C139();
    if (C_B_A_x_209[c_320] == 2) {
        testSuccess474();
    } else {
    };
}


function config187() { 
}


IS_NATIVE function testSuccess474() { 
}


function new_C139() returns integer { 
    local integer this667
    local integer this149
    local integer this571
    local integer this129
    local integer this494
    local integer this359
    if (C_firstFree_172 == 0) {
        if (C_maxIndex_874 < 32768) {
            C_maxIndex_874 = (C_maxIndex_874 + 1);
            this_149 = C_maxIndex_874;
        } else {
            error207("Out of memory: Could not create C.");
            this_149 = 0;
        };
    } else {
        C_firstFree_172 = (C_firstFree_172 - 1);
        this_149 = C_nextFree_783[C_firstFree_172];
    };
    this_667 = this_149;
    this_571 = this_667;
    this_129 = this_571;
    C_B_A_x_209[this_129] = 3;
    this_494 = this_129;
    this_359 = this_494;
    C_B_A_x_209[this_359] = (C_B_A_x_209[this_359] - 1);
    return this_667;
}


function error207(string msg199) { 
    $debugPrint170((msg_199 + ("
" + #getStackTrace())));
}