interface Ifc#(type a);
   method a m();
endinterface

import "BVI"
module mkMod(Ifc#(Bit#(8)));
  default_clock clk();
  default_reset rst();
  method RES m();
  schedule m CF m;
endmodule