Symbol: ossl_ec_GFp_simple_group_check_discriminant