let
grow_to_double_size t = grow_to t (2*
Array
.length t.data)