anchor.diff:      method Bit#(32)     statistics_vector();
   endinterface
   (* always_ready, always_enabled *)
  -interface TrimodemacbviTx_axis_mac;
  +interface TrimodemacTx_axis_mac;
       method Action      tdata(Bit#(8) v);
       method Action      tlast(Bit#(1) v);
       method Bit#(1)     tready();
  
positive.code: endinterface
  (* always_ready, always_enabled *)
  (* always_ready, always_enabled *)
  interface TrimodemacbviMac;
      method Bit#(1)     irq();
  endinterface
  (* always_ready, always_enabled *)
  interface TrimodemacbviMdio;
      method Action      i(Bit#(1) v);
      method Bit#(1)     o();
      method Bit#(1)     t();
  endinterface
  (* always_ready, always_enabled *)
  interface TrimodemacbviPause;
      method Action      req(Bit#(1) v);
      method Action      val(Bit#(16) v);
  endinterface
  (* always_ready, always_enabled *)
  interface TrimodemacbviRx;
      method Bit#(5)     axis_filter_tuser();
      interface Clock     mac_aclk;
      method Reset     reset();
  
negative.code:     method Bit#(28)     statistics_vector();
  endinterface
  (* always_ready, always_enabled *)
  interface TrimodemacRx_axis_mac;
      method Bit#(8)     tdata();
      method Bit#(1)     tlast();
      method Bit#(1)     tuser();
      method Bit#(1)     tvalid();
  endinterface
  (* always_ready, always_enabled *)
  interface TrimodemacS_axi;
      method Action      araddr(Bit#(12) v);
      method Bit#(1)     arready();
      method Action      arvalid(Bit#(1) v);
  