Position p2 = d.createPosition(3);
harness.check(p2.getOffset(), 3);
Position p3 = d.createPosition(4);
harness.check(p3.getOffset(), 4);
d.insertString(1, "XYZ", null);
harness.check(p0.getOffset(), 0);
harness.check(p1.getOffset(), 4);
harness.check(p2.getOffset(), 6);
harness.check(p3.getOffset(), 7);