array<integer> FoldClosure_nextFree175
integer FoldClosure_firstFree542
integer FoldClosure_maxIndex106
array<integer> LinkedList_nextFree227
integer LinkedList_firstFree149
integer LinkedList_maxIndex993
array<integer> LinkedList_typeId196


integer FoldClosure_firstFree542 = 0
integer FoldClosure_maxIndex106 = 0
integer LinkedList_firstFree149 = 0
integer LinkedList_maxIndex993 = 0


function initGlobals197() { 
}


function main184() { 
    initGlobals197();
    init_test140();
}


function config143() { 
}


function init_test140() { 
    local integer x116
    local integer temp733
    local integer this213
    local integer this492
    x_116 = new_LinkedList730();
    temp_733 = x_116;
    if (FoldClosure_firstFree_542 == 0) {
        if (FoldClosure_maxIndex_106 < 32768) {
            FoldClosure_maxIndex_106 = (FoldClosure_maxIndex_106 + 1);
            this_213 = FoldClosure_maxIndex_106;
        } else {
            error121("Out of memory: Could not create FoldClosure_foldl_test.");
            this_213 = 0;
        };
    } else {
        FoldClosure_firstFree_542 = (FoldClosure_firstFree_542 - 1);
        this_213 = FoldClosure_nextFree_175[FoldClosure_firstFree_542];
    };
    this_492 = temp_733;
    if (LinkedList_typeId_196[this_492] == 0) {
        if (this_492 == 0) {
            error121("Nullpointer exception when calling LinkedList.foldl");
        } else {
            error121("Called LinkedList.foldl on invalid object.");
        };
    } else {
    };
}


function new_LinkedList730() returns integer { 
    local integer this202
    local integer this471
    if (LinkedList_firstFree_149 == 0) {
        if (LinkedList_maxIndex_993 < 32768) {
            LinkedList_maxIndex_993 = (LinkedList_maxIndex_993 + 1);
            this_471 = LinkedList_maxIndex_993;
            LinkedList_typeId_196[this_471] = 3;
        } else {
            error121("Out of memory: Could not create LinkedList.");
            this_471 = 0;
        };
    } else {
        LinkedList_firstFree_149 = (LinkedList_firstFree_149 - 1);
        this_471 = LinkedList_nextFree_227[LinkedList_firstFree_149];
        LinkedList_typeId_196[this_471] = 3;
    };
    this_202 = this_471;
    return this_202;
}


function error121(string msg110) { 
    $debugPrint108((msg_110 + ("
" + #getStackTrace())));
}