Function Hacl_NaCl_crypto_box_easy 

pub unsafe extern "C" fn Hacl_NaCl_crypto_box_easy(
    c: *mut u8,
    m: *mut u8,
    mlen: u32,
    n: *mut u8,
    pk: *mut u8,
    sk: *mut u8,
) -> u32