Error: The following construct is not supported in the current 
  version of ISE Eiffel.
What to do: replace by equivalent construct if possible.