add_bytes
&& add_bytes(drbg, hash->V, hash->vtmp, hash->blocklen);
add_bytes(drbg, hash->vtmp, &one, 1);
&& add_bytes(drbg, hash->V, hash->C, drbg->seedlen)
&& add_bytes(drbg, hash->V, counter, 4);