Eiffel example for FOOP