anchor.diff:        if (mux_sel && fromHostFifo.notEmpty) begin
            let host_data = fromHostFifo.first;
            debug_from_host <= host_data;
  -         encodeOut = {host_data, log_type, block_type};
  +
  +         if (host_data[52] == 0) begin
  +             Bit#(52) tmp;
  +             if (is_switch_mode) begin
  +                tmp = dtpGlobal_wires[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
  +         else begin
  +             encodeOut = {host_data, log_type, block_type};
  +         end
            fromHostFifo.deq;
         end
         else if (mux_sel && txMuxSelFifo.notEmpty) begin
  
positive.code:       end
        else begin
           c_local_next <= v_local + 1;
           err = True;
        end
  
        if (err) begin
  
negative.code: 
     rule switch_out_c_global;
        let v <- toGet(dtpGlobalInFifo).get;
        let global_delay = fromInteger(valueOf(GLOBAL_DELAY));
        dtpGlobal_wires <= v + global_delay;
        if (is_switch_mode && beacon_rcvd) begin
           if (verbose) $display("%d: received global counter %d", cycle, v);
           globalCompareRemoteFifo.enq(v + 1);
  