description: "eiffel_echo compilation"