Automatic generation produced by ISE Eiffel
-- Generated by Eiffel Studio -- For more details: eiffel.org