Function Hacl_HMAC_DRBG_generate 

pub unsafe extern "C" fn Hacl_HMAC_DRBG_generate(
    a: Spec_Hash_Definitions_hash_alg,
    output: *mut u8,
    st: Hacl_HMAC_DRBG_state,
    n: u32,
    additional_input_len: u32,
    additional_input: *mut u8,
) -> bool