The GNU compiler for the object-oriented language Eiffel