Eiffel Syntax