Eiffel snippets and projects