Symbol: vector_append