array<string> test_s821
integer test_s_max128
array<integer> FoldClosure_nextFree482
integer FoldClosure_firstFree150
integer FoldClosure_maxIndex687
array<integer> FoldClosure_typeId109
array<integer> LinkedList_nextFree187
integer LinkedList_firstFree660
integer LinkedList_maxIndex407
array<integer> LinkedList_typeId179
array<any> LinkedList_x124


integer test_s_max128 = -1
integer FoldClosure_firstFree150 = 0
integer FoldClosure_maxIndex687 = 0
integer LinkedList_firstFree660 = 0
integer LinkedList_maxIndex407 = 0


function initGlobals233() { 
}


function main511() { 
    initGlobals233();
    init_test167();
}


function config341() { 
}


function init_test167() { 
    local integer x501
    test_s_max_128 = -1;
    x_501 = new_LinkedList109();
    LinkedList_x_124[x_501] = 5;
    if (LinkedList_typeId_179[x_501] == 0) {
        if (x_501 == 0) {
            error211("Nullpointer exception when calling LinkedList.toString");
        } else {
            error211("Called LinkedList.toString on invalid object.");
        };
    } else {
    };
    if (LinkedList_toString114(x_501) == "[5,]") {
        testSuccess350();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S180(integer i594) returns string { 
}


IS_NATIVE function testSuccess350() { 
}


function run_wrapper908(integer this322, any t150, any q155) returns any { 
    local string b136
    b_136 = ((test_s_821[q_155] + I2S180((t_150 castTo integer))) + ",");
    test_s_max_128 = (test_s_max_128 + 1);
    test_s_821[test_s_max_128] = b_136;
    return test_s_max_128;
}


function LinkedList_toString114(integer this220) returns string { 
    local integer temp196
    local integer this158
    test_s_max_128 = (test_s_max_128 + 1);
    test_s_821[test_s_max_128] = "[";
    temp_196 = test_s_max_128;
    if (FoldClosure_firstFree_150 == 0) {
        if (FoldClosure_maxIndex_687 < 32768) {
            FoldClosure_maxIndex_687 = (FoldClosure_maxIndex_687 + 1);
            this_158 = FoldClosure_maxIndex_687;
            FoldClosure_typeId_109[this_158] = 2;
        } else {
            error211("Out of memory: Could not create FoldClosure_foldl_LinkedList_test.");
            this_158 = 0;
        };
    } else {
        FoldClosure_firstFree_150 = (FoldClosure_firstFree_150 - 1);
        this_158 = FoldClosure_nextFree_482[FoldClosure_firstFree_150];
        FoldClosure_typeId_109[this_158] = 2;
    };
    return (test_s_821[dispatch_LinkedList_test_LinkedList_foldl104(this_220, temp_196, this_158)] + "]");
}


function new_LinkedList109() returns integer { 
    local integer this212
    if (LinkedList_firstFree_660 == 0) {
        if (LinkedList_maxIndex_407 < 32768) {
            LinkedList_maxIndex_407 = (LinkedList_maxIndex_407 + 1);
            this_212 = LinkedList_maxIndex_407;
            LinkedList_typeId_179[this_212] = 3;
        } else {
            error211("Out of memory: Could not create LinkedList.");
            this_212 = 0;
        };
    } else {
        LinkedList_firstFree_660 = (LinkedList_firstFree_660 - 1);
        this_212 = LinkedList_nextFree_187[LinkedList_firstFree_660];
        LinkedList_typeId_179[this_212] = 3;
    };
    return this_212;
}


function error211(string msg107) { 
    $debugPrint239((msg_107 + ("
" + #getStackTrace())));
}


function dispatch_LinkedList_test_LinkedList_foldl104(integer this157, any startValue673, integer predicate121) returns any { 
    local any t144
    if (LinkedList_typeId_179[this_157] == 0) {
        if (this_157 == 0) {
            error211("Nullpointer exception when calling LinkedList.foldl");
        } else {
            error211("Called LinkedList.foldl on invalid object.");
        };
    } else {
    };
    t_144 = LinkedList_x_124[this_157];
    if (FoldClosure_typeId_109[predicate_121] == 0) {
        if (predicate_121 == 0) {
            error211("Nullpointer exception when calling FoldClosure.run");
        } else {
            error211("Called FoldClosure.run on invalid object.");
        };
    } else {
    };
    startValue_673 = run_wrapper908(predicate_121, t_144, startValue_673);
    return startValue_673;
}