Symbol: valid_ref_ctr_vma