anchor.diff:     method first = fifo.first;
      method deq = fifo.deq;
      method enq = fifo.enq;
  -endmodule+endmodule
  
positive.code:    method wren(WREN) enable ((*inhigh*)EN_wren);
     method DO dout();
     method rden(RDEN) enable ((*inhigh*)EN_rden);
     schedule (empty, full, dout, din, wren, rden) CF (empty, full, dout, din, wren, rden);
  endmodule
  
  module mkSizedBRAMFIFOF#(Integer m)(FIFOF#(t))
  
negative.code:    method Action wren(Bit#(1) wren);
     method Bit#(data_width) dout();
     method Action rden(Bit#(1) rden);
     method Bit#(9) wrcount();
     method Bit#(9) rdcount();
  endinterface
  
  import "BVI" FIFO_DUALCLOCK_MACRO =
  