[eiffel mode] Add