description: "Eiffel compilation" author: "Jocelyn Fiat" Execute 'exec'