class AesCtrDrbg implements Drbg {

  void incrementReseedCounter(long increment) {
    if (increment < 0) {
      throw new IllegalArgumentException("Negative increment.");
    }
    if (reseedCounter + increment > RESEED_LIMIT) {
      throw new IllegalStateException(
          "Exceeded limit on generation requests. A DRBG with a fresh seed should be used.");
    }
    reseedCounter += increment;
  }

  public  AesCtrDrbg();
  public  AesCtrDrbg(byte[] seed);

}