Eiffel libraries, development utilities, general utilities and example programs