@Provides
  public TotpCounter providesTotpCounter(OtpSource otpSource) {
    return otpSource.getTotpCounter();
  }
Dagger module for the otp package.
java/com/google/android/apps/authenticator/otp/OtpModule.java