array<string> test_s181
integer test_s_max727
array<integer> FoldClosure_nextFree114
integer FoldClosure_firstFree343
integer FoldClosure_maxIndex155
array<integer> FoldClosure_typeId720
array<integer> LinkedList_nextFree212
integer LinkedList_firstFree152
integer LinkedList_maxIndex183
array<integer> LinkedList_typeId375
array<any> LinkedList_x804


integer test_s_max727 = -1
integer FoldClosure_firstFree343 = 0
integer FoldClosure_maxIndex155 = 0
integer LinkedList_firstFree152 = 0
integer LinkedList_maxIndex183 = 0


function initGlobals969() { 
}


function main147() { 
    initGlobals969();
    init_test440();
}


function config142() { 
}


function init_test440() { 
    local integer x171
    test_s_max_727 = -1;
    x_171 = new_LinkedList565();
    LinkedList_x_804[x_171] = 5;
    if (LinkedList_typeId_375[x_171] == 0) {
        if (x_171 == 0) {
            error376("Nullpointer exception when calling LinkedList.toString");
        } else {
            error376("Called LinkedList.toString on invalid object.");
        };
    } else {
    };
    if (LinkedList_toString257(x_171) == "[5,]") {
        testSuccess181();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S990(integer i116) returns string { 
}


IS_NATIVE function testSuccess181() { 
}


function run_wrapper147(integer this346, any t178, any q255) returns any { 
    local string b527
    b_527 = ((test_s_181[q_255] + I2S990((t_178 castTo integer))) + ",");
    test_s_max_727 = (test_s_max_727 + 1);
    test_s_181[test_s_max_727] = b_527;
    return test_s_max_727;
}


function LinkedList_toString257(integer this338) returns string { 
    local integer temp343
    local integer this204
    test_s_max_727 = (test_s_max_727 + 1);
    test_s_181[test_s_max_727] = "[";
    temp_343 = test_s_max_727;
    if (FoldClosure_firstFree_343 == 0) {
        if (FoldClosure_maxIndex_155 < 32768) {
            FoldClosure_maxIndex_155 = (FoldClosure_maxIndex_155 + 1);
            this_204 = FoldClosure_maxIndex_155;
            FoldClosure_typeId_720[this_204] = 2;
        } else {
            error376("Out of memory: Could not create FoldClosure_foldl_LinkedList_test.");
            this_204 = 0;
        };
    } else {
        FoldClosure_firstFree_343 = (FoldClosure_firstFree_343 - 1);
        this_204 = FoldClosure_nextFree_114[FoldClosure_firstFree_343];
        FoldClosure_typeId_720[this_204] = 2;
    };
    return (test_s_181[dispatch_LinkedList_test_LinkedList_foldl348(this_338, temp_343, this_204)] + "]");
}


function new_LinkedList565() returns integer { 
    local integer this184
    if (LinkedList_firstFree_152 == 0) {
        if (LinkedList_maxIndex_183 < 32768) {
            LinkedList_maxIndex_183 = (LinkedList_maxIndex_183 + 1);
            this_184 = LinkedList_maxIndex_183;
            LinkedList_typeId_375[this_184] = 3;
        } else {
            error376("Out of memory: Could not create LinkedList.");
            this_184 = 0;
        };
    } else {
        LinkedList_firstFree_152 = (LinkedList_firstFree_152 - 1);
        this_184 = LinkedList_nextFree_212[LinkedList_firstFree_152];
        LinkedList_typeId_375[this_184] = 3;
    };
    return this_184;
}


function error376(string msg184) { 
    $debugPrint201((msg_184 + ("
" + #getStackTrace())));
}


function dispatch_LinkedList_test_LinkedList_foldl348(integer this941, any startValue901, integer predicate154) returns any { 
    local any t992
    if (LinkedList_typeId_375[this_941] == 0) {
        if (this_941 == 0) {
            error376("Nullpointer exception when calling LinkedList.foldl");
        } else {
            error376("Called LinkedList.foldl on invalid object.");
        };
    } else {
    };
    t_992 = LinkedList_x_804[this_941];
    if (FoldClosure_typeId_720[predicate_154] == 0) {
        if (predicate_154 == 0) {
            error376("Nullpointer exception when calling FoldClosure.run");
        } else {
            error376("Called FoldClosure.run on invalid object.");
        };
    } else {
    };
    startValue_901 = run_wrapper147(predicate_154, t_992, startValue_901);
    return startValue_901;
}