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