[ref_impl_eiffel] [1297]

Revision: 1297
Author: seref.arikan
Log Message: