description: "EiffelNET library compilation"