Symbol: ve_pcr_updating_set