array<integer> FoldClosure_nextFree197
integer FoldClosure_firstFree112
integer FoldClosure_maxIndex183
array<integer> LinkedList_nextFree562
integer LinkedList_firstFree134
integer LinkedList_maxIndex191
array<integer> LinkedList_typeId358


integer FoldClosure_firstFree112 = 0
integer FoldClosure_maxIndex183 = 0
integer LinkedList_firstFree134 = 0
integer LinkedList_maxIndex191 = 0


function initGlobals182() { 
}


function main185() { 
    initGlobals182();
    init_test210();
}


function config283() { 
}


function init_test210() { 
    local integer x137
    local integer temp527
    local integer this510
    local integer this505
    x_137 = new_LinkedList139();
    temp_527 = x_137;
    if (FoldClosure_firstFree_112 == 0) {
        if (FoldClosure_maxIndex_183 < 32768) {
            FoldClosure_maxIndex_183 = (FoldClosure_maxIndex_183 + 1);
            this_510 = FoldClosure_maxIndex_183;
        } else {
            error705("Out of memory: Could not create FoldClosure_foldl_test.");
            this_510 = 0;
        };
    } else {
        FoldClosure_firstFree_112 = (FoldClosure_firstFree_112 - 1);
        this_510 = FoldClosure_nextFree_197[FoldClosure_firstFree_112];
    };
    this_505 = temp_527;
    if (LinkedList_typeId_358[this_505] == 0) {
        if (this_505 == 0) {
            error705("Nullpointer exception when calling LinkedList.foldl");
        } else {
            error705("Called LinkedList.foldl on invalid object.");
        };
    } else {
    };
}


function new_LinkedList139() returns integer { 
    local integer this100
    local integer this128
    if (LinkedList_firstFree_134 == 0) {
        if (LinkedList_maxIndex_191 < 32768) {
            LinkedList_maxIndex_191 = (LinkedList_maxIndex_191 + 1);
            this_128 = LinkedList_maxIndex_191;
            LinkedList_typeId_358[this_128] = 3;
        } else {
            error705("Out of memory: Could not create LinkedList.");
            this_128 = 0;
        };
    } else {
        LinkedList_firstFree_134 = (LinkedList_firstFree_134 - 1);
        this_128 = LinkedList_nextFree_562[LinkedList_firstFree_134];
        LinkedList_typeId_358[this_128] = 3;
    };
    this_100 = this_128;
    return this_100;
}


function error705(string msg148) { 
    $debugPrint163((msg_148 + ("
" + #getStackTrace())));
}