(* synthesize *)
module sysClockCheckRule#(Clock c)(Empty);

Reg#(Bit#(8)) r <- mkReg(0);
Reg#(Bit#(8)) s();
mkRegU the_s(s, clocked_by(c));

rule test;
  $display(r + s);
  $finish(0);
endrule

endmodule