Symbol: bn_binomial_gcd_test