Symbol: vector_add