array<string> test_s129
integer test_s_max636
array<integer> FoldClosure_nextFree318
integer FoldClosure_firstFree433
integer FoldClosure_maxIndex173
array<integer> FoldClosure_typeId587
array<integer> LinkedList_nextFree117
integer LinkedList_firstFree142
integer LinkedList_maxIndex114
array<integer> LinkedList_typeId143
array<any> LinkedList_x757


integer test_s_max636 = -1
integer FoldClosure_firstFree433 = 0
integer FoldClosure_maxIndex173 = 0
integer LinkedList_firstFree142 = 0
integer LinkedList_maxIndex114 = 0


function initGlobals192() { 
}


function main474() { 
    initGlobals192();
    init_test111();
}


function config120() { 
}


function init_test111() { 
    local integer x199
    test_s_max_636 = -1;
    x_199 = new_LinkedList181();
    LinkedList_x_757[x_199] = 5;
    if (LinkedList_typeId_143[x_199] == 0) {
        if (x_199 == 0) {
            error165("Nullpointer exception when calling LinkedList.toString");
        } else {
            error165("Called LinkedList.toString on invalid object.");
        };
    } else {
    };
    if (LinkedList_toString886(x_199) == "[5,]") {
        testSuccess102();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S111(integer i570) returns string { 
}


IS_NATIVE function testSuccess102() { 
}


function run_wrapper396(integer this185, any t584, any q206) returns any { 
    local string b171
    b_171 = ((test_s_129[q_206] + I2S111((t_584 castTo integer))) + ",");
    test_s_max_636 = (test_s_max_636 + 1);
    test_s_129[test_s_max_636] = b_171;
    return test_s_max_636;
}


function LinkedList_toString886(integer this116) returns string { 
    local integer temp130
    local integer this842
    test_s_max_636 = (test_s_max_636 + 1);
    test_s_129[test_s_max_636] = "[";
    temp_130 = test_s_max_636;
    if (FoldClosure_firstFree_433 == 0) {
        if (FoldClosure_maxIndex_173 < 32768) {
            FoldClosure_maxIndex_173 = (FoldClosure_maxIndex_173 + 1);
            this_842 = FoldClosure_maxIndex_173;
            FoldClosure_typeId_587[this_842] = 2;
        } else {
            error165("Out of memory: Could not create FoldClosure_foldl_LinkedList_test.");
            this_842 = 0;
        };
    } else {
        FoldClosure_firstFree_433 = (FoldClosure_firstFree_433 - 1);
        this_842 = FoldClosure_nextFree_318[FoldClosure_firstFree_433];
        FoldClosure_typeId_587[this_842] = 2;
    };
    return (test_s_129[dispatch_LinkedList_test_LinkedList_foldl176(this_116, temp_130, this_842)] + "]");
}


function new_LinkedList181() returns integer { 
    local integer this131
    if (LinkedList_firstFree_142 == 0) {
        if (LinkedList_maxIndex_114 < 32768) {
            LinkedList_maxIndex_114 = (LinkedList_maxIndex_114 + 1);
            this_131 = LinkedList_maxIndex_114;
            LinkedList_typeId_143[this_131] = 3;
        } else {
            error165("Out of memory: Could not create LinkedList.");
            this_131 = 0;
        };
    } else {
        LinkedList_firstFree_142 = (LinkedList_firstFree_142 - 1);
        this_131 = LinkedList_nextFree_117[LinkedList_firstFree_142];
        LinkedList_typeId_143[this_131] = 3;
    };
    return this_131;
}


function error165(string msg195) { 
    $debugPrint111((msg_195 + ("
" + #getStackTrace())));
}


function dispatch_LinkedList_test_LinkedList_foldl176(integer this126, any startValue108, integer predicate128) returns any { 
    local any t844
    if (LinkedList_typeId_143[this_126] == 0) {
        if (this_126 == 0) {
            error165("Nullpointer exception when calling LinkedList.foldl");
        } else {
            error165("Called LinkedList.foldl on invalid object.");
        };
    } else {
    };
    t_844 = LinkedList_x_757[this_126];
    if (FoldClosure_typeId_587[predicate_128] == 0) {
        if (predicate_128 == 0) {
            error165("Nullpointer exception when calling FoldClosure.run");
        } else {
            error165("Called FoldClosure.run on invalid object.");
        };
    } else {
    };
    startValue_108 = run_wrapper396(predicate_128, t_844, startValue_108);
    return startValue_108;
}