Function Hacl_HMAC_compute_sha2_256 

pub unsafe extern "C" fn Hacl_HMAC_compute_sha2_256(
    dst: *mut u8,
    key: *mut u8,
    key_len: u32,
    data: *mut u8,
    data_len: u32,
)