The behavior is undefined if this happens (RFC 7296, section 2.13). Instead of switching to the non-counter mode, or letting the counter wrap, this makes it clear that the usage was not as intended.