SmallEiffel Implementation