anchor.diff:  import MemTypes::*;
   import Ethernet::*;
   import PacketBuffer::*;
  +import StoreAndForward::*;
   import AlteraMacWrap::*;
   import EthMac::*;
   import AlteraEthPhy::*;
  
positive.code:    De5Buttons#(4) buttons <- mkDe5Buttons(clocked_by mgmtClock, reset_by mgmtReset);
  
     EthPhyIfc phys <- mkAlteraEthPhy(mgmtClock, phyClock, txClock, defaultReset);
     Clock rxClock = phys.rx_clkout;
     Reset rxReset <- mkSyncReset(2, defaultReset, rxClock);
     Vector#(4, EthMacIfc) mac <- replicateM(mkEthMac(mgmtClock, txClock, rxClock, txReset, clocked_by txClock, reset_by txReset));
  
  
negative.code:       endmethod
     endinterface
  `ifdef SYNTHESIS
     interface pins = mkDE5Pins(defaultClock, defaultReset, clocks, phys, leds, sfpctrl, buttons);
  `endif
  endmodule
  
  