pub unsafe extern "C" fn Hacl_Curve25519_64_ecdh( out: *mut u8, priv_: *mut u8, pub_: *mut u8, ) -> bool