sysEHRReg -- xxx -- Vector::Vector#(3, Reg#(Bit#(5))) _element_0 -- Reg#(Bit#(5)) updateReg -- Rule RL_xxx_0_updateReg _element_1 -- Reg#(Bit#(5)) updateReg -- Rule RL_xxx_1_updateReg _element_2 -- Reg#(Bit#(5)) updateReg -- Rule RL_xxx_2_updateReg r2 -- Rule RL_r2