array FoldClosure_nextFree640 integer FoldClosure_firstFree168 integer FoldClosure_maxIndex738 array LinkedList_nextFree146 integer LinkedList_firstFree183 integer LinkedList_maxIndex402 array LinkedList_typeId185 integer FoldClosure_firstFree168 = 0 integer FoldClosure_maxIndex738 = 0 integer LinkedList_firstFree183 = 0 integer LinkedList_maxIndex402 = 0 function initGlobals114() { FoldClosure_firstFree_168 = 0; FoldClosure_maxIndex_738 = 0; LinkedList_firstFree_183 = 0; LinkedList_maxIndex_402 = 0; } function main407() { initGlobals114(); init_test202(); } function config107() { } function init_test202() { local integer x110 local integer clVar909 local integer temp131 x_110 = new_LinkedList889(); temp_131 = x_110; clVar_909 = alloc_FoldClosure_foldl_test197(); dispatch_LinkedList_test_LinkedList_foldl127(temp_131, 0, clVar_909); } function LinkedList_foldl211(integer this792, any startValue131, integer predicate193) returns any { return null; } function LinkedList_init139(integer this727) { } function new_LinkedList889() returns integer { local integer this171 this_171 = alloc_LinkedList117(); construct_LinkedList184(this_171); return this_171; } function construct_LinkedList184(integer this139) { LinkedList_init139(this_139); } function alloc_FoldClosure_foldl_test197() returns integer { local integer this176 if (FoldClosure_firstFree_168 == 0) { if (FoldClosure_maxIndex_738 < 32768) { FoldClosure_maxIndex_738 = (FoldClosure_maxIndex_738 + 1); this_176 = FoldClosure_maxIndex_738; } else { error146("Out of memory: Could not create FoldClosure_foldl_test."); this_176 = 0; }; } else { FoldClosure_firstFree_168 = (FoldClosure_firstFree_168 - 1); this_176 = FoldClosure_nextFree_640[FoldClosure_firstFree_168]; }; return this_176; } function error146(string msg207) { $debugPrint935((msg_207 + (" " + #getStackTrace()))); } function alloc_LinkedList117() returns integer { local integer this100 if (LinkedList_firstFree_183 == 0) { if (LinkedList_maxIndex_402 < 32768) { LinkedList_maxIndex_402 = (LinkedList_maxIndex_402 + 1); this_100 = LinkedList_maxIndex_402; LinkedList_typeId_185[this_100] = 3; } else { error146("Out of memory: Could not create LinkedList."); this_100 = 0; }; } else { LinkedList_firstFree_183 = (LinkedList_firstFree_183 - 1); this_100 = LinkedList_nextFree_146[LinkedList_firstFree_183]; LinkedList_typeId_185[this_100] = 3; }; return this_100; } function dispatch_LinkedList_test_LinkedList_foldl127(integer this137, any startValue906, integer predicate206) returns any { local any test_LinkedList_foldl_result226 if (LinkedList_typeId_185[this_137] == 0) { if (this_137 == 0) { error146("Nullpointer exception when calling LinkedList.foldl"); } else { error146("Called LinkedList.foldl on invalid object."); }; } else { }; test_LinkedList_foldl_result_226 = LinkedList_foldl211(this_137, startValue_906, predicate_206); return test_LinkedList_foldl_result_226; }