Function Hacl_Hash_SHA1_legacy_update_multi 

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