anchor.diff:           finishFifo.clear();
         endmethod
      endinterface
  +   interface SonicPins pins;
  +      // Clocks
  +      interface deleteme_unused_clock = defaultClock;
  +      interface deleteme_unused_reset = defaultReset;
  +      // Resets
  +      // SFP+
  +   endinterface
   endmodule
  
positive.code: import PacketBuffer::*;
  
  interface SonicPins;
     method Action osc_50(Bit#(1) b3b, Bit#(1) b3d, Bit#(1) b4a, Bit#(1) b4d, Bit#(1) b7a, Bit#(1) b7d, Bit#(1) b8a, Bit#(1) b8d);
     (* prefix="" *)
     method Action pcie_perst_n(Bit#(1) pcie_perst_n);
     method Action user_reset_n(Bit#(1) user_reset_n);
  endinterface
  
  typedef 512    TxCredTotal;
  
negative.code:    mkConnection(toPipeOut(fifoTxData), toPipeIn(fifoRxData));
  
     Reg#(Bit#(32)) tx_cnt <- mkReg(0);
     interface dmaWriteClient = vec(we.dmaClient);
     interface dmaReadClient = vec(re.dmaClient);
     interface SonicTopRequest request;
  