impl vector_append