Eiffel/GTK+ interface for SmallEiffel