pub unsafe extern "C" fn EverCrypt_Curve25519_ecdh( shared: *mut u8, my_priv: *mut u8, their_pub: *mut u8, ) -> bool