proc `[]`[T, U, V](a: ptr UncheckedArray[T], s: static HSlice[U, V]): array[s,
T]=
  copyMem(result.addr, a[s.a].addr, (s.len)T.sizeof)