private static uint[] copy(uint[] v) { uint[] ret = new uint[v.Length]; Array.Copy(v, ret, v.Length); return ret; }