eiffel.snippets 0 B