interface Ifc;
endinterface


(*synthesize*)
module sysTest3 (Ifc);
   Reg#(UInt#(9)) c <- mkReg(0);
   rule fine (True);
      $display ("final rule %d", c);
      $finish(0);
   endrule
endmodule