Data is returned from a function by assigning a value to the
special variable Result inside the function; this is the value of the function.
No data is returned by a procedure. In Eiffel you cannot change the
value of an argument, so you cannot use this as a trick to get a value
back from a procedure.