docs: void resync(long nowMicros) {
          // if nextFreeTicket is in the past, resync to now
          if (nowMicros > nextFreeTicketMicros) {
              storedPermits = min(maxPermits,
                      storedPermits
                              + (nowMicros - nextFreeTicketMicros) / coolDownIntervalMicros());
              nextFreeTicketMicros = nowMicros;
          }
      }