anchor.diff:        dmFifo.enq(?);
         stageOneFifo.enq(TxStageOneBuf{mux_sel: mux_sel,
                                        parity: parity,
  -                                     c_local: c_local + 1});
  +                                     c_local: c_local_next});
         dtpTxInPipelineFifo.enq(v);
      endrule
   
  
positive.code:          debug_from_host <= host_data;
  
           if (host_data[52] == 0) begin
               Bit#(52) tmp;
               if (is_switch_mode) begin
                  tmp = c_global[51:0] + 1;
               end
               else begin
                  tmp = c_local[51:0] + 1;
               end
  //             Bit#(52) tmp = c_local[51:0] + 1;
               encodeOut = {1'b0, tmp, log_type, block_type};
               if(verbose) $display("%d: %d, sending a log message %d", cycle, id, tmp);
           end
  
negative.code:       Bit#(1) parity;
        Bool    mux_sel;
        Bit#(53) c_local_out;
        Bit#(53) c_local_next;
        if (is_switch_mode) begin
            c_local_out = c_global + 2;
            c_local_next = c_global+1;
        end
        else begin
            c_local_out = c_local + 2;
            c_local_next = c_local+1;
        end
  //      c_local_out = c_local+2; // forward compute parity.
        parity = ^c_local_out[52:0];
  
        if(v[9:2] == 8'h1e) begin
  