description: "Eiffel's C_library compilation"