array FoldClosure_nextFree306 integer FoldClosure_firstFree182 integer FoldClosure_maxIndex123 array LinkedList_nextFree174 integer LinkedList_firstFree643 integer LinkedList_maxIndex204 array LinkedList_typeId200 integer FoldClosure_firstFree182 = 0 integer FoldClosure_maxIndex123 = 0 integer LinkedList_firstFree643 = 0 integer LinkedList_maxIndex204 = 0 function initGlobals882() { FoldClosure_firstFree_182 = 0; FoldClosure_maxIndex_123 = 0; LinkedList_firstFree_643 = 0; LinkedList_maxIndex_204 = 0; } function main136() { initGlobals882(); init_test135(); } function config713() { } function init_test135() { local integer x161 local integer clVar263 local integer temp183 x_161 = new_LinkedList121(); temp_183 = x_161; clVar_263 = alloc_FoldClosure_foldl_test144(); dispatch_LinkedList_test_LinkedList_foldl565(temp_183, 0, clVar_263); } function LinkedList_foldl214(integer this236, any startValue128, integer predicate466) returns any { return null; } function LinkedList_init828(integer this137) { } function new_LinkedList121() returns integer { local integer this201 this_201 = alloc_LinkedList196(); construct_LinkedList728(this_201); return this_201; } function construct_LinkedList728(integer this161) { LinkedList_init828(this_161); } function alloc_FoldClosure_foldl_test144() returns integer { local integer this132 if (FoldClosure_firstFree_182 == 0) { if (FoldClosure_maxIndex_123 < 32768) { FoldClosure_maxIndex_123 = (FoldClosure_maxIndex_123 + 1); this_132 = FoldClosure_maxIndex_123; } else { error945("Out of memory: Could not create FoldClosure_foldl_test."); this_132 = 0; }; } else { FoldClosure_firstFree_182 = (FoldClosure_firstFree_182 - 1); this_132 = FoldClosure_nextFree_306[FoldClosure_firstFree_182]; }; return this_132; } function error945(string msg461) { $debugPrint208((msg_461 + (" " + #getStackTrace()))); } function alloc_LinkedList196() returns integer { local integer this140 if (LinkedList_firstFree_643 == 0) { if (LinkedList_maxIndex_204 < 32768) { LinkedList_maxIndex_204 = (LinkedList_maxIndex_204 + 1); this_140 = LinkedList_maxIndex_204; LinkedList_typeId_200[this_140] = 3; } else { error945("Out of memory: Could not create LinkedList."); this_140 = 0; }; } else { LinkedList_firstFree_643 = (LinkedList_firstFree_643 - 1); this_140 = LinkedList_nextFree_174[LinkedList_firstFree_643]; LinkedList_typeId_200[this_140] = 3; }; return this_140; } function dispatch_LinkedList_test_LinkedList_foldl565(integer this506, any startValue149, integer predicate163) returns any { local any test_LinkedList_foldl_result123 if (LinkedList_typeId_200[this_506] == 0) { if (this_506 == 0) { error945("Nullpointer exception when calling LinkedList.foldl"); } else { error945("Called LinkedList.foldl on invalid object."); }; } else { }; test_LinkedList_foldl_result_123 = LinkedList_foldl214(this_506, startValue_149, predicate_163); return test_LinkedList_foldl_result_123; }