Symbol: ossl_curve448_point_eq