* rewriten with Vector.Unboxed