Este programa escrito en Eiffel podría ser: