Function EverCrypt_Chacha20Poly1305_aead_encrypt 

pub unsafe extern "C" fn EverCrypt_Chacha20Poly1305_aead_encrypt(
    k: *mut u8,
    n: *mut u8,
    aadlen: u32,
    aad: *mut u8,
    mlen: u32,
    m: *mut u8,
    cipher: *mut u8,
    tag: *mut u8,
)