Symbol: Name_vector_rec