Eiffel prototype