array FoldClosure_nextFree148 integer FoldClosure_firstFree770 integer FoldClosure_maxIndex210 array LinkedList_nextFree192 integer LinkedList_firstFree142 integer LinkedList_maxIndex213 array LinkedList_typeId177 integer FoldClosure_firstFree770 = 0 integer FoldClosure_maxIndex210 = 0 integer LinkedList_firstFree142 = 0 integer LinkedList_maxIndex213 = 0 function initGlobals147() { FoldClosure_firstFree_770 = 0; FoldClosure_maxIndex_210 = 0; LinkedList_firstFree_142 = 0; LinkedList_maxIndex_213 = 0; } function main333() { initGlobals147(); init_test102(); } function config602() { } function init_test102() { local integer x209 local integer clVar204 local integer temp891 x_209 = new_LinkedList507(); temp_891 = x_209; clVar_204 = alloc_FoldClosure_foldl_test125(); dispatch_LinkedList_test_LinkedList_foldl168(temp_891, 0, clVar_204); } function LinkedList_foldl239(integer this204, any startValue288, integer predicate104) returns any { return null; } function LinkedList_init587(integer this262) { } function new_LinkedList507() returns integer { local integer this523 this_523 = alloc_LinkedList204(); construct_LinkedList199(this_523); return this_523; } function construct_LinkedList199(integer this156) { LinkedList_init587(this_156); } function alloc_FoldClosure_foldl_test125() returns integer { local integer this978 if (FoldClosure_firstFree_770 == 0) { if (FoldClosure_maxIndex_210 < 32768) { FoldClosure_maxIndex_210 = (FoldClosure_maxIndex_210 + 1); this_978 = FoldClosure_maxIndex_210; } else { error116("Out of memory: Could not create FoldClosure_foldl_test."); this_978 = 0; }; } else { FoldClosure_firstFree_770 = (FoldClosure_firstFree_770 - 1); this_978 = FoldClosure_nextFree_148[FoldClosure_firstFree_770]; }; return this_978; } function error116(string msg986) { $debugPrint740((msg_986 + (" " + #getStackTrace()))); } function alloc_LinkedList204() returns integer { local integer this218 if (LinkedList_firstFree_142 == 0) { if (LinkedList_maxIndex_213 < 32768) { LinkedList_maxIndex_213 = (LinkedList_maxIndex_213 + 1); this_218 = LinkedList_maxIndex_213; LinkedList_typeId_177[this_218] = 3; } else { error116("Out of memory: Could not create LinkedList."); this_218 = 0; }; } else { LinkedList_firstFree_142 = (LinkedList_firstFree_142 - 1); this_218 = LinkedList_nextFree_192[LinkedList_firstFree_142]; LinkedList_typeId_177[this_218] = 3; }; return this_218; } function dispatch_LinkedList_test_LinkedList_foldl168(integer this156, any startValue956, integer predicate199) returns any { local any test_LinkedList_foldl_result357 if (LinkedList_typeId_177[this_156] == 0) { if (this_156 == 0) { error116("Nullpointer exception when calling LinkedList.foldl"); } else { error116("Called LinkedList.foldl on invalid object."); }; } else { }; test_LinkedList_foldl_result_357 = LinkedList_foldl239(this_156, startValue_956, predicate_199); return test_LinkedList_foldl_result_357; }