Symbol: UVM_EXTRACT_FIXPROT