system EiffelBase_mt root ANY default assertion (require) multithreaded(yes) cluster all base: "$ISE_EIFFEL/library/base" exclude "desc";"table_eiffel3" end all thread: "$ISE_EIFFEL/library/thread" end