let copy v = { length = v.length; bits = Array.copy v.bits }