pub unsafe extern "C" fn Hacl_P256_ecp256dh_r( result: *mut u8, pubKey: *mut u8, scalar: *mut u8, ) -> bool