pub unsafe extern "C" fn Hacl_HMAC_DRBG_instantiate(
a: Spec_Hash_Definitions_hash_alg,
st: Hacl_HMAC_DRBG_state,
entropy_input_len: u32,
entropy_input: *mut u8,
nonce_len: u32,
nonce: *mut u8,
personalization_string_len: u32,
personalization_string: *mut u8,
)