Symbol: pcr_set_check