eiffel: "assign" keyword