anchor.diff:  
      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);
  
positive.code:       end
        else begin
           c_local_next <= v_local + 1;
           err = True;
        end
  
        if (err) begin
  
negative.code:    FIFOF#(Bit#(53)) cLocalFifo   <- mkSizedFIFOF(1);
     FIFOF#(Bit#(32)) intervalFifo <- mkSizedFIFOF(1);
  
     Wire#(Bit#(53)) dtpGlobal_wires <- mkDWire(0);
  
     rule cyc;
        cycle <= cycle + 1;
     endrule
  