let sub_exn t ~index ~length =     if length = 0 then empty else String.sub t index length