
1. Renamed everything that had DBRG with the correct DRBG 2. Changed word64 reseed_ctr to word32 reseedCtr 3. Changed reseed interval to 0xFFFFFFFF
1. Renamed everything that had DBRG with the correct DRBG 2. Changed word64 reseed_ctr to word32 reseedCtr 3. Changed reseed interval to 0xFFFFFFFF