ref_impl_eiffel [194] 1.

Revision: 194
Author: peter.gummer

Log Message: