let sub t ~index ~length = if length = 0 then Some empty else try Some (B.sub t ~pos:index ~len:length) with e -> None