goanna - Revision 630: /branches/GOANNA/eiffel_57/precomp/spec