goanna - Revision 630: /branches/GOANNA/eiffel_57/library/utility/spec/ve