anchor.diff:        indication.addEntryResp(v);
      endrule
   
  -   interface macRx = rxchan.macRx;
  +   //interface macRx = rxchan.macRx;
      interface macTx = txchan.macTx;
      interface writeServer = hostchan.writeServer;
      interface add_entry = ipv4Route.add_entry;
  
positive.code: //import GenericMatchTable::*;
  import HostChannel::*;
  import TxChannel::*;
  import RxChannel::*;
  import ModifyMac::*;
  import IPv4Parser::*;
  import IPv4Route::*;
  
negative.code: `endif
     )(TdmPipeline);
  
     //RxChannel rxchan <- mkRxChannel(rxClock, rxReset);
     HostChannel hostchan <- mkHostChannel();
     TxChannel txchan <- mkTxChannel(txClock, txReset);
  
  