anchor.diff:     De5Buttons#(4) buttons <- mkDe5Buttons(clocked_by mgmtClock, reset_by mgmtReset);
   
      EthPhyIfc phys <- mkAlteraEthPhy(mgmtClock, phyClock, txClock, defaultReset);
  -   Clock rxClock = phys.rx_clkout;
  +   Clock rxClock = phys.rx_clkout[0];
      Reset rxReset <- mkSyncReset(2, defaultReset, rxClock);
      Vector#(4, EthMacIfc) mac <- replicateM(mkEthMac(mgmtClock, txClock, rxClock, txReset, clocked_by txClock, reset_by txReset));
   
  
positive.code: import MemTypes::*;
  import Ethernet::*;
  import PacketBuffer::*;
  import AlteraMacWrap::*;
  import EthMac::*;
  import AlteraEthPhy::*;
  
negative.code:    Clock defaultClock <- exposeCurrentClock();
     Reset defaultReset <- exposeCurrentReset();
  
     De5Clocks clocks <- mkDe5Clocks();
  
     Clock txClock = clocks.clock_156_25;
     Clock phyClock = clocks.clock_644_53;
  