description: "Eiffel's libraries compilation"