Eiffel byref output byval

Other Tags ...