Function Hacl_Hash_MD5_legacy_update_last 

pub unsafe extern "C" fn Hacl_Hash_MD5_legacy_update_last(
    s: *mut u32,
    prev_len: u64,
    input: *mut u8,
    input_len: u32,
)