ISE Eiffel 5, release 5.7, 2006. Copyright (c) Interactive Software Engineering Inc., 2006 Use subject to restrictions of customer license. Duplication prohibited except under terms of customer license.