void Init_ctr_drbg();