Ben Wing <ben(a)666.com> writes:
b. a string dirty bit. If someone thinks we should actually *allow*
the string
to be modified during the mapping, then we can deal with this
situation with a string dirty bit, which is set whenever a
modification to the string happens.
This already exists, and is called "string modified tick". So this
solution doesn't require any additional work AFAIK.