let copy t = let data = t.data in let len = Array.length data in let data = Array.init len (fun i -> data.(i)) in { data=data; sz=t.sz; dummy = t.dummy }