description: "EiffelStudio's framework compilation"