Function EverCrypt_Hash_update_last2 

pub unsafe extern "C" fn EverCrypt_Hash_update_last2(
    s: *mut EverCrypt_Hash_state_s,
    prev_len: u64,
    last: *mut u8,
    last_len: u32,
)