Cast EIFFEL