Happy hacking in Eiffel