Symbol: pi_find_highest_vector