class TEST create make feature -- Initialization make (args: ARRAY [STRING]) is local count: INTEGER l_thread_1, l_thread_2: WORKER_THREAD do count := args.item (1).to_integer create l_thread_1.make (agent generate_collections (count)) create l_thread_2.make (agent check_catcalls (2 * count)) l_thread_1.launch l_thread_2.launch l_thread_1.join l_thread_2.join end check_catcalls (n: INTEGER) local b: BOOLEAN i: INTEGER do from i := 0 until i > n loop b := f ("s") i := i + 1 end end f (s: STRING): BOOLEAN do end generate_collections (n: INTEGER) local i: INTEGER mem: MEMORY do from create mem i := 0 until i > n loop mem.collect mem.full_collect i := i + 1 end end end