code: public void gotoFreshPosWritable1(int oldIndex, int newIndex, int xor) {
          stabilize(oldIndex);
          gotoFreshPosWritable0(oldIndex, newIndex, xor);
      }
docs: ensures structure is dirty and at pos newIndex and writable at level 0