18.1.2.4 Visible Modification of Bit Vectors and Strings with respect to EQUAL ¶
For a vector of typebit-vector or of typestring, any visible change
to an activeelement of the vector,
or to the length of the vector (if it is actually adjustable
or has a fill pointer)
is considered a visible modification with regard to equal.