those are not needed, in Eiffel `done' and `j' are initialized to their default i.e  False and 0