portable Eiffel structure libraries and tools