> Presumably the point is to avoid a call to init() with its checks for monotonicity etc.

Hmm, I see, thanks.