int ctr_reseed(RAND_DRBG *drbg,
               const unsigned char *ent, size_t entlen,
               const unsigned char *adin, size_t adinlen)
{
    ctr_update(drbg, ent, entlen, adin, adinlen, NULL, 0);
    return 1;
}