description: "Eiffel compilation" author: "Jocelyn Fiat"