Symbol: ossl_ec_GFp_nistp521_points_mul