Symbol: uvm_ractx