integer FoldClosure_firstFree449 integer FoldClosure_maxIndex180 array LinkedList_nextFree771 integer LinkedList_firstFree116 integer LinkedList_maxIndex474 array LinkedList_typeId211 integer FoldClosure_firstFree449 = 0 integer FoldClosure_maxIndex180 = 0 integer LinkedList_firstFree116 = 0 integer LinkedList_maxIndex474 = 0 function initGlobals150() { } function main352() { initGlobals150(); init_test560(); } function config918() { } function init_test560() { local integer x206 x_206 = new_LinkedList317(); if (FoldClosure_firstFree_449 == 0) { if (FoldClosure_maxIndex_180 < 32768) { FoldClosure_maxIndex_180 = (FoldClosure_maxIndex_180 + 1); } else { error146("Out of memory: Could not create FoldClosure_foldl_test."); }; } else { FoldClosure_firstFree_449 = (FoldClosure_firstFree_449 - 1); }; if (LinkedList_typeId_211[x_206] == 0) { if (x_206 == 0) { error146("Nullpointer exception when calling LinkedList.foldl"); } else { error146("Called LinkedList.foldl on invalid object."); }; } else { }; } function new_LinkedList317() returns integer { local integer this207 if (LinkedList_firstFree_116 == 0) { if (LinkedList_maxIndex_474 < 32768) { LinkedList_maxIndex_474 = (LinkedList_maxIndex_474 + 1); this_207 = LinkedList_maxIndex_474; LinkedList_typeId_211[this_207] = 3; } else { error146("Out of memory: Could not create LinkedList."); this_207 = 0; }; } else { LinkedList_firstFree_116 = (LinkedList_firstFree_116 - 1); this_207 = LinkedList_nextFree_771[LinkedList_firstFree_116]; LinkedList_typeId_211[this_207] = 3; }; return this_207; } function error146(string msg677) { $debugPrint162((msg_677 + (" " + #getStackTrace()))); }