integer FoldClosure_firstFree207
integer FoldClosure_maxIndex186
array<integer> LinkedList_nextFree120
integer LinkedList_firstFree477
integer LinkedList_maxIndex367
array<integer> LinkedList_typeId159


integer FoldClosure_firstFree207 = 0
integer FoldClosure_maxIndex186 = 0
integer LinkedList_firstFree477 = 0
integer LinkedList_maxIndex367 = 0


function initGlobals152() { 
}


function main450() { 
    initGlobals152();
    init_test181();
}


function config481() { 
}


function init_test181() { 
    local integer x347
    x_347 = new_LinkedList204();
    if (FoldClosure_firstFree_207 == 0) {
        if (FoldClosure_maxIndex_186 < 32768) {
            FoldClosure_maxIndex_186 = (FoldClosure_maxIndex_186 + 1);
        } else {
            error590("Out of memory: Could not create FoldClosure_foldl_test.");
        };
    } else {
        FoldClosure_firstFree_207 = (FoldClosure_firstFree_207 - 1);
    };
    if (LinkedList_typeId_159[x_347] == 0) {
        if (x_347 == 0) {
            error590("Nullpointer exception when calling LinkedList.foldl");
        } else {
            error590("Called LinkedList.foldl on invalid object.");
        };
    } else {
    };
}


function new_LinkedList204() returns integer { 
    local integer this164
    if (LinkedList_firstFree_477 == 0) {
        if (LinkedList_maxIndex_367 < 32768) {
            LinkedList_maxIndex_367 = (LinkedList_maxIndex_367 + 1);
            this_164 = LinkedList_maxIndex_367;
            LinkedList_typeId_159[this_164] = 3;
        } else {
            error590("Out of memory: Could not create LinkedList.");
            this_164 = 0;
        };
    } else {
        LinkedList_firstFree_477 = (LinkedList_firstFree_477 - 1);
        this_164 = LinkedList_nextFree_120[LinkedList_firstFree_477];
        LinkedList_typeId_159[this_164] = 3;
    };
    return this_164;
}


function error590(string msg584) { 
    $debugPrint308((msg_584 + ("
" + #getStackTrace())));
}