Eiffel compiler