use standard Eiffel mechanisms :-)