system EiffelBase root ANY default assertion (require) cluster -- EiffelBase: all base: "$ISE_EIFFEL/library/base" exclude "desc";"table_eiffel3" end end