added vector_copy.brig