let rec grow_to_by_double t new_capa = let data = t.data in let capa = ref (Array.length data + 1) in while !capa < new_capa do capa := 2 * !capa done; grow_to t !capa