let sub_exn t ~index ~length =
    if length = 0 then empty else B.sub t ~pos:index ~len:length