pub type Hacl_HMAC_DRBG_state = Hacl_HMAC_DRBG_state_s;
struct Hacl_HMAC_DRBG_state { pub k: *mut u8, pub v: *mut u8, pub reseed_counter: *mut u32, }
k: *mut u8
v: *mut u8
reseed_counter: *mut u32