ISE Eiffel 4, release 4.3-020, 25 February 1999.

Copyright (c) Interactive Software Engineering Inc., 1999
Use subject to restrictions of customer license.
Duplication prohibited except under terms of customer license.