Symbol: vec_max