Function Hacl_Hash_SHA2_update_multi_512 

pub unsafe extern "C" fn Hacl_Hash_SHA2_update_multi_512(
    s: *mut u64,
    blocks: *mut u8,
    n_blocks: u32,
)