Symbol: bn_mod_sqrt_p_is_1_mod_8