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