Automatic generation produced by ISE Eiffel
-- Generated by ISE Eiffel -- For more details: www.eiffel.com