ref_impl_eiffel [303] 1.

Revision: 303
Author: peter.gummer

Log Message: