Function EverCrypt_Hash_update_last 

pub unsafe extern "C" fn EverCrypt_Hash_update_last(
    s: *mut EverCrypt_Hash_state_s,
    last: *mut u8,
    total_len: u64,
)