let print_rope fmt t =
  Format.fprintf fmt "r%S" (BatText.to_string t)