int oldTs = text.getTimeStamp();
// hack way to do an invariant check before starting...
if (testItr != 0) {
// modify styles
text.resetDamagedRange();
startingAt = randInt(rand, styles.length+1);
endingAt = randInt(rand, startingAt, styles.length+1);
StyleModifier modifier = modifiers[randInt(rand, modifiers.length)];
if (testItr == stopAt) {