ref_impl_eiffel [308] 1.

Revision: 308
Author: peter.gummer

Log Message: