let shift width x =
          { (x) with start = x.stop; stop = move_pos width x.stop; }