description: "EiffelStore library compilation"