pub unsafe extern "C" fn EverCrypt_AEAD_encrypt_expand_chacha20_poly1305(
k: *mut u8,
iv: *mut u8,
iv_len: u32,
ad: *mut u8,
ad_len: u32,
plain: *mut u8,
plain_len: u32,
cipher: *mut u8,
tag: *mut u8,
) -> EverCrypt_Error_error_code