sig
  type t = S.t
  val default : t
  val grow : t -> int -> int
  val shrink : t -> real_len:int -> new_len:int -> int
end