++. Not strictly necessary
, but certainly necessary in the real code in view of the original question about the redefinition of
affecting other parts of the program (including apparently other modules). So it is most probably more than just good style, it is very likely to be absolutely needed for avoiding side effects.