interface Ifc;
   method Bit#(8) res();
endinterface

(* synthesize *)
module mkBug(Ifc);
   method Bit#(8) res();
      Bit#(8) r;
      for (Integer i=0; i<8; i=i+1)
         r[i] = 0;
      return r;
   endmethod
endmodule