Error: The external keyword is not supported in this version of ISE Eiffel.
What to do: upgrade to the professional version of ISE Eiffel.
