anchor.diff:    let rx_info_prev_control_state = rx_prev_control_state.u;
     let tx_info_prev_control_state = tx_prev_control_state.u;
     FIFOF#(PacketInstance) curr_packet_ff <- mkFIFOF;
  -  TX #(RegRequest#(32, 16)) tx_rounds_register <- mkTX;
  +  TX #(RegRequest#(16, 16)) tx_rounds_register <- mkTX;
     RX #(RegResponse#(16)) rx_rounds_register <- mkRX;
     let tx_info_rounds_register = tx_rounds_register.u;
     let rx_info_rounds_register = rx_rounds_register.u;
  -  TX #(RegRequest#(32, 16)) tx_vrounds_register <- mkTX;
  +  TX #(RegRequest#(16, 16)) tx_vrounds_register <- mkTX;
     RX #(RegResponse#(16)) rx_vrounds_register <- mkRX;
     let tx_info_vrounds_register = tx_vrounds_register.u;
     let rx_info_vrounds_register = rx_vrounds_register.u;
  -  TX #(RegRequest#(32, 256)) tx_values_register <- mkTX;
  +  TX #(RegRequest#(16, 256)) tx_values_register <- mkTX;
     RX #(RegResponse#(256)) rx_values_register <- mkRX;
     let tx_info_values_register = tx_values_register.u;
     let rx_info_values_register = rx_values_register.u;
  
positive.code:     let rsp <- matchTable.lookupPort.response.get;
      let pkt <- toGet(packet_ff).get;
      let meta <- toGet(metadata_ff[0]).get;
      let paxos$rnd = fromMaybe(?, meta.paxos$rnd);
      let paxos$inst = fromMaybe(?, meta.paxos$inst);
      let paxos$paxosval = fromMaybe(?, meta.paxos$paxosval);
      if (rsp matches tagged Valid .data) begin
        DropTblRspT resp = unpack(data);
        case (resp._action) matches
  
negative.code:   RX #(RegResponse#(16)) rx_datapath_id <- mkRX;
    let tx_info_datapath_id = tx_datapath_id.u;
    let rx_info_datapath_id = rx_datapath_id.u;
    TX #(RegRequest#(16, 16)) tx_rounds_register <- mkTX;
    RX #(RegResponse#(16)) rx_rounds_register <- mkRX;
    let tx_info_rounds_register = tx_rounds_register.u;
    let rx_info_rounds_register = rx_rounds_register.u;
  