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