store :: (vector: Vector($T, $N), dest: *T)
store :: (vector: Vector($T, $N), items: [] T, start := 0)