integer C_count127
array<integer> C_nextFree176
integer C_firstFree126
integer C_maxIndex121
array<integer> C_x180


integer C_count127 = 0
integer C_firstFree126 = 0
integer C_maxIndex121 = 0


function initGlobals177() { 
}


function main388() { 
    initGlobals177();
    init_test631();
}


function config152() { 
}


function init_test631() { 
    local integer from172
    from_172 = new_C179();
    loop {
        exitwhen (not C_hasNext199(from_172));
        C_next136(from_172);
    };
    if (C_count_127 == 1) {
        testSuccess503();
    } else {
    };
}


IS_NATIVE function testSuccess503() { 
}


function C_next136(integer this128) returns integer { 
    C_x_180[this_128] = (C_x_180[this_128] + 1);
    return C_x_180[this_128];
}


function C_hasNext199(integer this118) returns boolean { 
    return (C_x_180[this_118] < 10);
}


function C_init156(integer this160) { 
    C_x_180[this_160] = 0;
}


function new_C179() returns integer { 
    local integer this174
    this_174 = alloc_C603();
    construct_C567(this_174);
    return this_174;
}


function construct_C567(integer this473) { 
    C_init156(this_473);
    C_count_127 = (C_count_127 + 1);
}


function alloc_C603() returns integer { 
    local integer this189
    if (C_firstFree_126 == 0) {
        if (C_maxIndex_121 < 32768) {
            C_maxIndex_121 = (C_maxIndex_121 + 1);
            this_189 = C_maxIndex_121;
        } else {
            error274("Out of memory: Could not create C.");
            this_189 = 0;
        };
    } else {
        C_firstFree_126 = (C_firstFree_126 - 1);
        this_189 = C_nextFree_176[C_firstFree_126];
    };
    return this_189;
}


function error274(string msg456) { 
    $debugPrint592((msg_456 + ("
" + #getStackTrace())));
}