Symbol: big_modexp_ext