[ref_impl_eiffel] [1580]

Revision: 1580
Author: seref.arikan
Log Message: