(* synthesize *) module sysRuleNameNonAlphanum2 (); Reg#(UInt#(16)) rg <- mkRegU; rule \r+1 ; rg <= rg + 2; endrule (* descending_urgency = "r1, r2" *) rule r2; rg <= rg + 1; endrule endmodule