Symbol: bn_mod_sqrt_n_is_non_residue